3 ms·Soundness has a technical meaning. Point is, the type system at least isn't a shaky foundation.by vmchale 6y agoSoundness has a technical meaning. Point is, the type system at least isn't a shaky foundation.