New language

Runtime optional.
GC optional.
Static typing.
Binary compatibility with C.
Algebraic types.
Lambdas.
Traits.
Safe shared mutable state.

>>31
I don't think those numbers are right. For one, the compactor is O(n·m), and it still doesn't solve the major collection scheduling problem. To get guaranteed better memory use, you'll still have collect more often than calling free/malloc.