3 ms·

Why would you choose anything on the right, surprising or otherwise?

• penteract 3y ago
  When the consequences of trying to be accommodating in as many ways as possible force you into a horrifying conclusion that rarely appears in practice. Turing complete type systems are an example that could be seen this way.
• deleted 3y ago
  [deleted]