Interesting - and somewhat worrying - to see Haskell going in the opposite direction from Scala here - Dotty (Scala 3) moves towards ML-style “type members are existential by default” and removes the forSome syntax even as this paper is proposing to introduce an equivalent exists syntax to Haskell.
Isn’t this from 2002? If so that’s probably important context to be aware of. :)
https://scholar.google.com/scholar?cluster=15142864505292191490
There is a what happened? discussion from Reddit from five years ago here.
Interesting - and somewhat worrying - to see Haskell going in the opposite direction from Scala here - Dotty (Scala 3) moves towards ML-style “type members are existential by default” and removes the
forSomesyntax even as this paper is proposing to introduce an equivalentexistssyntax to Haskell.