Name:
Anonymous
2013-07-15 9:32
(defun infinity () (infinity))
Name:
Anonymous
2013-07-15 19:16
>>21
http://stackoverflow.com/questions/4273413/y-combinator-in-haskell
Here's a non-recursive definition of the y-combinator in haskell:
newtype Mu a = Mu (Mu a -> a)
y f = (\h -> h $ Mu h) (\x -> f . (\(Mu g) -> g) x $ x)