8 i can't understand lambda calculus at all Submitted by flabberghaster at August 12, 2018, 11:02 PM in just_post 6 comments
4 musou wrote at August 13, 2018, 6:32 AM and if you actually want to try it here's a spagehti i found on rosetta code for the y combinator y_combinator = fn f -> (fn x -> x.(x) end).(fn y -> f.(fn z -> y.(y).(z) end) end) end i went back and actually did try it and it works using this definition Reply PermalinkParent
musou wrote
and if you actually want to try it here's a spagehti i found on rosetta code for the y combinator
i went back and actually did try it and it works using this definition