4 ms·
It’s also useful in typed languages to introduce an existentially quantified type
by fovc 2y ago
It’s also useful in typed languages to introduce an existentially quantified type
- guerrilla 2y agoWhere do you recommend reading more on this? I've always wanted to understand that better. From what I understand continuations are dual to functions (of universally quantified types). It would be cool to complete the symmetry, for the aesthetics.
- fovc 2y agoMaybe this? https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/