はじめに これは ML Advent Calendar 2017 の 19日目の記事です． 最近 Typed final (tagless-final) style を読みました。 このレクチャーノートではサンプルコードとして Haskell で型クラスを用いたものと OCaml でファンクターを用いたものが示されてい…