Generics in Protocol Extension

Explore generics in protocol extensions through this 20-minute conference talk from try! Swift Tokyo 2019. Delve into handling existential types like associatedType in protocols, creating concrete types in protocol extensions, and forcing generics from existential types using Curry-Howard correspondence. Learn from Scala engineer Hikaru Yoshimura as he applies concepts from functional languages like Scala, Haskell, and OCaml to Swift programming. Gain insights on type systems and advanced Swift techniques for more flexible and powerful code.