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 - firstname.lastname@example.org
try! Swift Conference © 2019 - Powered by NatashaTheRobot