Single-Serving Values in Scala with Linear Types

May 21, 2021

Have you ever had a program try to read a file after the handle had been closed, or query a database after the transaction had been committed? How about shadow a variable and accidentally use the wrong reference?

Linear types require that all values are used once and only once. In this talk, we learn about how linear types can be used in Scala programs to prevent runtime errors like these by detecting them at compile time.

Attendees will leave this talk with a new tool in their functional programming toolbox that they can use to solve real-world problems.