Keean Schupke

Some further details: Using the State monad you can construct a state machine. Here the state is in the monad, an pure state transformation functions link one state to another...

As I am using ES6 features and CommonJS style 'requires' it won't immediately run in the browser. The main compiler is also using node's file API. However I wonder if...

I had actually planned to start with no optimisation or type checking :-) Simply parse the source, discard the typing information and output the JavaScript. You can then already start...

Nil should have the same type as Cons. The reason is we do not know how long the list is at runtime, so how do we type check: ``` let...

Please no all caps, it's like shouting in my text editor :-( ML prefixes type variables with a character (happens to be `'` but could be anything) Also I note...

So what you are saying is that `List

In the case of the above datatype `Eq` would be the correct trait bound. In the above `Nil` would not be typed `List` as there is enough typing information to...

I think providing the hooks so that the same code can be run with a modular 'pluggable' GC would allow interesting back-to-back comparisons of performance with other factors removed. You...

Do you prefer `!=`, I have programmed in lots of languages so I know a few, `!=`, `/=`, `=/=`, `` etc...

Ada uses `/=` :-) It comes from the Pascal family of languages,