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.
The talk is aimed at established Scala developers, who are familiar with the basics of type-level programming like Type classes.
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.