at-290690

4 ms·

1. 1.▲
   Scripting Language with Hindley-Milner Type Inference(at-290690.github.io)

   2 points by at-290690 7mo ago|1 comments
2. 2.▲
   by at-290690 7mo ago

   A small scripting language with Lisp syntax, Hindley-Milner type inference, and a WASM backend. The language is functional with partial application and closures. However mutation and other effects are allowed but they obey static rules. Eve
3. 3.▲
   by at-290690 7mo ago

   rust syntax hurts my eyes ;(
4. 4.▲
   by at-290690 7mo ago

   A small scripting language with Lisp syntax, Hindley-Milner type inference, and a WASM backend. The language is functional with partial application and closures. However mutation and other effects are allowed but they obey static rules. Can