Nice! I like the goals of a "simpler Haskell" for small projects ( see https://github.com/taolson/Admiran ). Some questions that weren't answered in the blog:

    is the evaluation model call-by-need (lazy, like Haskell) or call-by-value (strict, like most other languages)?

    how is memory allocation handled? (I assume GC via the underlying JavaScript implementation)?

    will it be open-sourced at some point?

    a major benefit of immutable definitions is that they are always initialized; however, the type declaration format potentially opens things up to a use-before-def bug if the type declaration brings the variable name in scope. How is this handled in your implementation?