I can say what I was trying to say a little more strongly: I strongly agree that today's generic system sucks both in terms of noise burden AND in terms of how closely it matches programmer intuition about parameterized types and functions.
an earlier sub-thread in this chain stated (without objection) that a mismatch between parameter and existential intuitions is the source of problems. Did I misunderstand that? Can you elaborate?
-
-
The existential intuition is wrong, just like lots of wrong intuitions about functions are wrong. I think you said that people use the existential intuition because it's simpler, but I disagree that it's simpler than the abstraction intuition I described.
-
I actually literally don't understand the existential model people apparently have...
End of conversation
New conversation -
-
-
You mean https://twitter.com/regexident/status/1037996144893349891?s=21 … ? That’s about Swift protocols, but those do *seem* different from System F and much closer to existentials (better: to Scala abstract type members or ML translucent sums). OTOH, it seems they cut out many features of type members?
-
what do people man when they're saying existentiels
-
*mean in this thread
-
what is wrong with my keyboard
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
