1個前の記事でTagless finalについて触れたんだけどどうも全く頭が回っていなかったらしくほとんど内容がない記事になってしまったので書き直す、というかちょっと違う話を。 はじめに、TaPLにあるλ計算のtypecheckerをHaskellで実装することをやっている: g…

Q. Tagless-finalってなんぞや A. (in short) データ型DをF[D]のinitial algebraとみなしたとき、initialityより、任意のalgebra F[D](X) --> Xに対してunique transformation D --> Xがある。 このときfamily forall X. F[D](X) --> XをDのTagless-final re…