May 16, 2018
Thanks to SIP-23, we will soon be able to write literals in type positions! Which definitely makes it convenient to do type level operations on arbitrary strings or numbers, making use of the powers of the type system. In this talk, I'll show some use-cases along with code examples from libraries I've built myself, as well as other libraries built by the awesome community. Pointing out concepts, libraries, and techniques necessary for making use of singleton types that I wish I knew earlier. Required knowledge The talk is aimed at established Scala developers, who are familiar with the basics of type-level programming like Type classes. Learning objectives What is a literal type Combining literal types with type class derivation How to do compile time operation on literal types Get inspired by existing use cases of literal types Senior Software engineer at Cakesolutions, author of Schemasafe (Troy), a library that makes heavy use of literal types to allow the compiler to understand and validate your SQL queries ... at compile time.
Scala Days brings together developers from all corners of the world to share their experiences and new ideas around creating applications with Scala and related technologies, like Spark, Kafka, and Akka. Scala Days provides a unique opportunity for Scala users to interact with the contributors to the language and related technologies and connect with fellow developers.
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
Presentations on similar topic, category or speaker