再帰・型レベルプログラミング探訪

このセッションでは、圏論をよりよく理解するための遊び場として、Scalaを使うことについてお話します。

まずFixpoint型を使って再帰について紹介します。そして、値レベルの再帰から型レベルの再帰に話を移し、Shapelessで提供されるデータ構造を幾つか実装してみながら、この新しいスキルがどのように応用できるか見ていきましょう。