|
|
|
|
|
|
by n4r9
966 days ago
|
|
|
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. |
|
|