Archived tweet #11640 from the @leastfixedpoint Twitter Archive

@graydon_pub @pcwalton Absolutely. I've come to *love* the "defense in depth" that working with a proper module system / proper memory safe language gives. Each little piece can concentrate on its local invariants, and they compose safely to give the global invariants needed.