Writing a compiler for Scala's typelevel meta program

Typelevel programming is a technique that can be used for compile-time calculations, code generation, and static analysis. Because Scala’s type system is Turing complete, and therefore can accomplish any arbitrary algorithms, many engineers are familiar with it as a dark art.

In this session, we will introduce a compiler that can convert normal (non-typelevel) programs into typelevel meta programs in Scala, detail the fundamental technology behind it, and explore the charm of typelevel programming.

Session length

40 minutes

Language of the presentation

Japanese

Target audience

Intermediate: Requires a basic knowledge of the area

Speaker

Akinori Abe (CyberAgent, Inc.)