『Haskell入門』に日時表現("YYYY/MM/DD hh:mm:ss")のパーサをAttoparsecで作る節*1があり、 このままでは9999/99/99 99:99:99のような入力ができてしまいますが、月の入力範囲を1～12に制限するといった制約をかけることも、これまで説明した範囲で簡単に実…

Web APIのリソースとバックエンドで扱うモデル（特にActive Recordのモデル）に歴史的な事情で差異があり、単純にモデルからリソースへと変換できないとき、それらの差異を吸収するクラスを作って対応することがあったのでメモを残しておきます。 問題 あるW…

『プログラミングHaskell 第2版』の12章「モナドなど」の演習*1で型 (a ->) をFunctor（関手）、Applicative、Monadにするという問題があり、少しわかりにくかったので、いまの自分自身の理解をまとめました。 型(a ->)とは 部分適用された関数の型を(a ->)…