Lobsters
- Existential types in Rust https://varkor.github.io/blog/2018/07/03/existential-types-in-rust.html 2 comments plt , rust
- Creating existential types automatically from concepts? https://godbolt.org/z/1x6P6EhEf 25 comments cpp
- Encoding universal types in terms of existential types? https://stackoverflow.com/questions/53375769/encoding-universal-types-in-terms-of-existential-types 14 comments haskell
- Existential types in Scala http://www.cakesolutions.net/teamblogs/existential-types-in-scala?utm_campaign=technical%20blogs&utm_content=52223208&utm_medium=social&utm_source=twitter 7 comments scala
- Believing in Computer Science « Existential Type http://existentialtype.wordpress.com/2012/08/25/believing-in-computer-science 14 comments compsci
- "any" Keyword and Existential types in Swift https://youtu.be/Wa8xTSHX_PM 6 comments swift
- implementing multiple dispatch in C++ using existential type https://godbolt.org/z/rT7KbTv8e 11 comments cpp
- Rust Has Got Existential Types https://www.infoq.com/news/2018/05/rust-1.26-existential-types 64 comments programming
- What the heck are existential types?! An introduction https://medium.com/@stephenebly/an-introduction-to-existential-types-25c130ba61a4 56 comments programming
- Haskell: Proxies and Delegation vs. Existential Types http://notes-on-haskell.blogspot.com/2007/01/proxies-and-delegation-vs-existential.html 4 comments programming
- Replicating GADTs with existential types in Java... Crudely, of course. http://stackoverflow.com/a/5520212 20 comments haskell
- Optional instance of existential type? Or test type for class instance? https://www.reddit.com/r/haskell/comments/6s790q/optional_instance_of_existential_type_or_test/ 12 comments haskell
- Representing NN Layers Using Existential Types In Spiral https://youtu.be/yDcpLtwLiag 3 comments programminglanguages
- Request For Explanation #8: An Existential Crisis (type aliases for impl Trait) https://request-for-explanation.github.io/podcast/ep8-an-existential-crisis/index.html 3 comments rust
- Proposal to remove Existential Types from the language - SIP Proposal https://contributors.scala-lang.org/t/proposal-to-remove-existential-types-from-the-language/2785 4 comments scala
- Existential Question: How practically useful is Haskell's type-system and Purity? https://medium.com/javascript-scene/the-shocking-secret-about-static-types-514d39bf30a3#.mr511es84 56 comments haskell
- Practical Dependent Types in Haskell 2 -- Existential Neural Networks and Types at Runtime https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html 8 comments haskell
- red-black trees in haskell, using GADTs, existential types, and zippers, oh my https://gist.github.com/2659812 21 comments haskell
- Sound and Complete Bidirectional Typechecking ["in which terms either synthesize a type or are checked against a known type"] for Higher-Rank Polymorphism with Existentials and Indexed Types [abstract, link to PDF] http://arxiv.org/abs/1601.05106 12 comments haskell
- Experimental Morrow interpreter finally available! (impredicative higher-rank type inference, existential types, polymorphic kinds, and extensible polymorphic records and variants) http://www.equational.org/morrow/ 10 comments programming
- Dr. James Webb on Existential Dread: "It has been my experience that gifted and talented persons are more likely to experience a type of depression referred to as existential depression. " http://talentdevelop.com/existdread.html 67 comments reddit.com
Lambda the Ultimate
- Heterogenous lists (existential types) http://www.numeric-quest.com/haskell/hcompanion/extensions.html#Existential quantification 4 comments functional
- Modeling Abstract Types in Modules with Open Existential Types http://gallium.inria.fr/~remy/modules/Montagu-Remy@popl09:yzip.pdf 1 comment Functional , Type Theory