lambda2wasm
lambda2wasm copied to clipboard
ENvironmentSet
A Lambda expression compiler targeting web assembly.
### how to reproduce the error ``` apply = f:(a -> b). x: a. f x. inc = x:I32. x + 1#I32. main = apply inc 2#I32. ``` this may...
lambda2wasm has some primitive operators such as `+` and `-`. these are handled specially in type checker and code generator, but I hope them not to be, to reduce complexity...
Current type checker has (at least) three big problems. - Insufficient type error message (lack of information of code line where type check fails, constraints of unification variable do not...
Metadata
Owner
Metadata
A Lambda expression compiler targeting web assembly.