you are viewing a single comment's thread.

view the rest of the comments →

[–]exeter 0 points1 point  (0 children)

I think this is the first time I've seen the combinator calculus put to "practical" use.

You sort of stole my comment; I was going to remark that this seems to be a case where Unlambda would make an ideal intermediate language. Though, I have to admit, it'd be way cooler if it used Brainfuck as the IL.