Message from JavaScript discussions

May 2019

— It's a static string


Define X ONCE in your language

Language can now be compiled to from lambda calculus with this compiler

— And if you build a new language on top of that...

— Then it can also compile to anything with X

— I would like to try to compile a little more complex example

— I'm driving rn, but gimme something

— And I'll try it later

— Like Y = x => y => z => x(y)(z)

— That'd be (\x. \y. \z. ((x y) z))

— (I'm driving, but not moving)

— Y(x => y => x + y)(1)(2) // 3
This is right, by my definition isn’t it?

— Yes