Re:The Grug Brained Developer
by n4r9 on Thursday November 02, 2023 @07:42AM
(#38112059)
The linked article says:
> 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.