Posted by Pedro Rodriguez
Thu, Apr 6, 2017

Type variables are a powerful piece of type-level programming. They can appear in a variety of forms and factors; phantoms and existential types being two important cases. In this article we will be exploring existential types via a specific use case you may encounter in production code.

Posts by Topic

see all

Subscribe to Email Updates