> It only makes sense in the untyped lambda calculus, You can use it in any language that has closures but doesn't have recursion to begin with. Granted, ther

> It only makes sense in the untyped lambda calculus, You can use it in any language that has closures but doesn't have recursion to begin with. Granted, there's no reason to have a language like that, but fixing is a very common idiom in Haskell.