Herding types with Scala macros – Marina Sigaeva
Channel: Typelevel
Date: 06/07/2017

In Scala we use the term “type safety”, but what it really means? In short, most applications model data types in a form suitable for storage, change, transmission, and use. During the life cycle of the data, we expect to always use the declared type. But reality is a bit more complicated. One of the main practical problems with the use of types occurs when our application interacts with outside world – in requests to external services, different databases or simply with getting data from file. In most cases, an attempt to support type safety leads to writing a lot of code that we always try to avoid. Fortunately we have macros to do all routine job for us! In this talk we will discuss how to use compile-time reflection in library for schemaless key-value database and the benefits of use of macros in production systems.

* Material *

Slides: https://www.slideshare.net/MarinaSigaeva/typelevel-summit

* Event * 

Typelevel Summit Copenhagen, June 2017: http://typelevel.org/event/2017-06-summit-copenhagen/

* About Speaker *

I'm a physicist. And I'm in love with fashion, ballet and beauty.

* Licensing *

This recording is licensed under CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/).