9 ms·

C with fat pointers and boxing/unboxing would be far more super duper than people realize. The other three are first class types, tagged unions, and closures.

C with fat pointers and boxing/unboxing would be far more super duper than people realize. The other three are first class types, tagged unions, and closures. Standards committee says no.

nicoburns 4y ago
I don't reckon first class types are required. Tagged unions, closures, method syntax sugar, and some kind namespaces/modules would be my wishlist.
- Gibbon1 4y ago
  With first class types you can implement containers without type erasure.