Literal types, what they are good for?

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.



About Scala Days

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.

Store presentation

Should this presentation be stored for 1000 years?

How do we store presentations

Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%


Recommended Videos

Presentations on similar topic, category or speaker

Interested in talks like this? Follow Scala Days