近年、Scalaプログラマーの間でもFreeモナドやモナド変換子の話題で盛り上がりを見せるようになりました。また、Extensible Effectsもそれらの拡張または代案として注目を集め始めています。 そして、次世代のScalaコンパイラであるDottyはバージョン0.5.0-RC1(2017/12/16時点)を迎え、魅力的な新機能を実際に試すことができるようになりました。
このセッションでは、Dottyの新機能(Implicit Function Types, Dependent Function Types, GADTs with Type Members, etc.)を用いた、新時代のScalaらしいExtensible Effectsの設計及び実装を紹介します。
票中 票投票済み