> big brain type system shaman often say type correctness main point type system
This is a much weaker position than you're suggesting. Opining about the "main point" of type systems does not mean thinking that there is one true type system way.
> big brain type system shaman often say type correctness main point type system
This is a much weaker position than you're suggesting. Opining about the "main point" of type systems does not mean thinking that there is one true type system way.