kmizuの日記

プログラミングや形式言語に関係のあることを書いたり書かなかったり。

第42回情報科学若手の会発表「型レベルプログラミングとScala」

Scala イベント

第42回情報科学若手の会のセッション１で「型レベルプログラミングとScala」というタイトルで発表しました。基本的に、型レベルプログラミングの会で発表したスライドをベースに多少修正(型レベル高階関数などの記述を追加)を加えた程度なので、型レベルプログラミングの会に参加された方やスライドを見た方は改めて見る必要は無いかと思います。