3 ms·
Interesting. Thanks! I've been using a lot of Swift lately, and they have a generic type roadmap that talks about "existential types" and being able to "open"
by rnikander 5y ago
Interesting. Thanks!
I've been using a lot of Swift lately, and they have a generic type roadmap that talks about "existential types" and being able to "open" an existential. This looks very similar.
- esarbe 5y agoI don't know about in Swift, but in programming languages in general, existential types are usually a concept different from dependent types.[0] [0] https://stackoverflow.com/questions/292274/what-is-an-existential-type https://stackoverflow.com/questions/292274/what-is-an-existe...