News for hackers. Stuff that matters.

A comment on Was Y Combinator worth it?. Parent comment

Re:Was Y Combinator worth it? by grotorea on Thursday August 10, 2023 @07:47PM (#37083220)
Maybe this has something to do with the local opinion on Haskell?
[ Parent | on HN ]
Re:Was Y Combinator worth it? by PheonixPharts on Thursday August 10, 2023 @08:57PM (#37083807)
Funnily enough you can't actually implement the proper y-combinator in Haskell because the type system won't allow it. Which is a real shame because in most Lisps you can only implement the applicative order y-combinator due to a lack of lazy evaluation.
[ Parent | on HN ]
Re:Was Y Combinator worth it? by hackyhacky on Thursday August 10, 2023 @11:20PM (#37084742)
What is "improper" about this implementation in Haskel?

  fix :: (a -> a) -> a
  fix f = let x = f x in x
[ Parent | on HN ]
Re:Was Y Combinator worth it? by lambdas on Friday August 11, 2023 @05:39AM (#37086800)
The y combinator is used to implement recursion in a language without recursion no?

That definition is dependent on recursion already being present.

[ Parent | on HN ]