Reading Roundup: what's in a type?

The Ethical Compiler : about the fallacy of deriving &ldquo;what ought to be&rdquo; from &ldquo;what is&rdquo;,&#xA;and the importance of expressing/capturing intention in the language.&#xA;The first time I&rsquo;ve seen a toot quoted in a paper : &#xA; &#xA; There must be compiler developers whom the language standard protects but does not bind, alongside developers whom the language standard…