Comment by vmchale

> modern language features that encourage inherent reliability and safety of code

It's still missing linear/affine types, no? To me that's inexcusable given the current offering.