In functional programming, types can appear in a variety of ways and forms, each with their own uses; phantom types and existentials types are two examples of these forms. This talk aims to explain phantom and existential types in a two-step process: first explaining the concept itself using a simpler language where it is clearer, and then translating the concept into Scala. The talk will also explain how these concepts can be useful in Scala code.

Pedro Rodriguezis an FP Scala developer at Cake Solutions. He has many years of experience in FP Scala and Haskell