Message from JavaScript discussions

May 2019

— Yeah

— 

Ctrl+Shift+P, "User Snippets"
"New Global snippets file"


"Lambda expression": {
"prefix": "lam",
"body": [ "(λ$1. $0)" ],
"description": "Add a lambda expression"
},
"Lambda application": {
"prefix": "ap",
"body": [ "($1 $0)" ],
"description": "Add a lambda application"
}

— Makes it simpler

— lam<tab>
for definition

ap<tab>

for call

— It works, and it’s nice

— This (λx. λy. λz. (y x z)) would mean X = x => y => z => y(x(z))?

— I'm not sure if (y x z) is allowed

— It'd be (y (x z))

— I think

— Try both I guess

— Weeeeelllll

— (λx. ((x (λx. (λy. (λz. ((x z) (y z))))))) (λx. (λy. x)))