Scala lunch

Are you a Scala user or enthusiast? Do you want to meet other people who are using Scala at EPFL? Then join us for the Scala Lunch!

We are excited to announce that Sébastien Doeraene, an engineer at the Scala Center, will be our speaker for the next Scala Lunch. Sébastien will give a talk entitled "Specifying Match Types in Scala 3". Match types were introduced in Scala 3 to support type-level operations on tuples, but their integration into the larger Scala type system was not fully specifiable. Sébastien will share his multi-month effort of re-designing and specifying match types in Scala 3, including a quantitative study of match type use cases, writing a new candidate specification, proving some of its core aspects sound, and implementing and evaluating the new spec.

Sébastien Doeraene is a compiler/runtime systems hacker and a Scala enthusiast. He is best known as the author of Scala.js and holds a PhD from EPFL, where he worked under the supervision of Prof. Martin Odersky. Sébastien is also a part-time lecturer at EPFL and enjoys singing in choirs and a cappella groups.

Join us on 11/12/2023 at BC410 for this exciting talk. Don't forget to bring your own lunch to share a casual meal with other EPFL Scala enthusiasts. Everyone is welcome, including people outside of EPFL. See you there!