try! Swift Tokyo Conference 2019 - try! Swift is an immersive community gathering about Apple Technologies, Swift Language Best Practices, Application Development in Swift, Server-Side Swift, Open Source Swift, and the Swift Community in Tokyo! Topic - Generics in protocol extension Speaker - Hikaru Yoshimura Twitter - https://twitter.com/_yuu_ Bio - Hikaru Yoshimura works as a Scala engineer. He used to study type systems when he was in the university so he can program using some functional languages a little bit. He sometimes brings the good parts of languages like Scala, Haskell or OCaml to Swift. Abstract - The protocol only handle existensial type like associateType. For some protocol, when we give some functions in protocol extension, we must put a concreate type. Protocol extension will work like searching function based on type, so it's needed concreate type in somewhere. For example, for some type called A, sometimes we want to write extension using List[A] finaly. In this talk, I'd like to consider how to create generics by force from existensial type like associatedType by using Curry-Howard correspondence. Presentation Link - https://github.com/y-yu/try-swift-slide try! Swift Tokyo Twitter - https://twitter.com/tryswiftconf try! Swift New York Twitter Hashtag - https://twitter.com/hashtag/tryswiftconf try! Swift Website - https://www.tryswift.co/ try! Swift Conference Photos - https://www.flickr.com/photos/tryswift/albums try! Swift Conference Contact - tokyo@tryswift.co try! Swift Conference © 2019 - Powered by NatashaTheRobot