lambda-mountain

lambda-mountain copied to clipboard

Types up and types down.

andrew-johnson-4

Cleanup and organize instruction set

1

generic moves and normal instructions are disorganized

andrew-johnson-4

fastcall, etc.

andrew-johnson-4

List head is a partial function that may fail if the list is nil. The resulting blame should send the user to the call-site of head not into the head...

andrew-johnson-4

Optimized compile times

andrew-johnson-4

andrew-johnson-4

Make a new case for types ``` (Linear( Box )) ```

andrew-johnson-4

``` match x ( () (Pair( x y )) ( ... ) ) vs match x ( () (TPair( x y )) ( ... ) ) ``` will encounter an...

andrew-johnson-4

This would be a rather sophisticated frontend and backend. Web standards in, web standards out.

andrew-johnson-4

``` (f( a b c )) ``` AND ``` (f a b c) ``` should be OK. All that is necessary is to bind a separate type signature for the...

andrew-johnson-4