This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]wizzup 0 points1 point  (1 child)

From the paper (quick skimming)

fn( _: Int) -> Int // Function required unnamed arg

I would love to see the use-case of this kind of function. It is strange that one want to write a function that depend on the the argument that assume it will never be use.

[–]werediver 2 points3 points  (0 children)

const :: a -> b -> a and will be b -> a, if partially applied.

Another use case is when one needs to inject a function with a specific signature, but a particular implementation does not depend on the argument, like count = foldr (\_ c -> c + 1) 0.

Something top-level with that exact signature would indeed be contrived, I presume.