Re:Confession of a Haskell Hacker
by sanxiyn on Sunday July 08, 2012 @02:20PM
(#4215190)
This is why Haskell is evil and you should use ML.
[ Parent
| on HN ]
This is why Turing-complete languages are evil and you should use Agda.
Yes in ML you'd have to eta-expand first:
val id : 'a -> 'a
fun id x = id xYou can still write x=_|_ in ML, you just have to be subtler about it.
Re:Confession of a Haskell Hacker
by batterseapower on Sunday July 08, 2012 @03:54PM
(#4215480)
id x = id x