Viewing a single comment thread. View all comments

musou wrote

Reply to comment by musou in i can't understand lambda calculus at all by flabberghaster

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

4