New language

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

GC optional
You'll end up with two programming languages that happen to have the same syntax, guaranteed. Case Study: D.


You'll have to content yourself with C extended with FrozenVoid lambdas.