5 ms·

> generics as a powerful tool for using types to erase inessential details. That's the key - generics are one way to accomplish things, but they're not the onl

• dllthomas 12y ago
  While that's true, I don't think that's enough to make things "orthogonal," at least as I would use the word.
• tel 12y ago
  I wouldn't argue otherwise. Instead, I argued that types are the way and that without generics your type language is crippled.