GHC 9.10.1 にて、 “RequiredTypeArguments” なる言語拡張が実装された。 この拡張は、Haskell に依存型を追加するという計画の一環であるらしい。 これを有効化すると、項の位置に型を置けるようになる。 この記事では、この言語拡張を用いて長さ付きリストを実装し、遊んでみることにする。 もっと読む