Extensible Effects in Dotty

Recently, free monads and monad transformers have attracted increasing attention from Scala programmers. We are also paying close attention to an extension or alternative to these, Extensible Effects. Dotty, the next generation Scala compiler, will reach version 0.5.0-RC1 on Dec. 16, 2018. It will enable us to use attractive new features. In this session, I will discuss the design and implementation of Extensible Effects that fit with the new generation of Scala. We will use Dotty’s new features including Implicit Function Types, Dependent Function Types, GADTs with Type Members, etc.

Session length

40 minutes

Language of the presentation

Japanese

Target audience

Advanced: For those who are experts in the field

Who is your session intended to

People who are interested in Extensible Effects
People who are interested in Dotty's new features

Speaker

halcat (Dwango)