2022-05-01から1ヶ月間の記事一覧

重ね着したバービー人形 in Haskell

うやむやで終わる記事なので事前にご了承ください。 前回のあらすじ (前回などないので探さなくていいです。) 高カインドデータ型(Higher-kinded Datatypes; HKD)というものがあります。 fumieval.hatenablog.com qiita.com 簡単に説明すると下記のよう…