pretty sure the point of the Y combinator is to server as a definition for recursion in languages that do not support it natively (ie, lambda calc) if you're m

pretty sure the point of the Y combinator is to server as a definition for recursion in languages that do not support it natively (ie, lambda calc) if you're making a recursive function call then you're just making something that kinda looks like Y but isn't. FWIW i don't think you can write Y in haskell, it would not make much sense. according to this thread you can't, because it doesn't type check. https://stackoverflow.com/questions/4273413/y-combinator-in-haskell https://stackoverflow.com/questions/4273413/y-combinator-in-...