代数的データ型と初等代数学
「関数プログラミングとはなんですか？」と問われたときには「デ，データファースト……(震え声)」と答えることが多いのだが，実際 Haskell や OCaml などの言語を特徴付けるものとして，代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう．
Haskell
HERPではサーバサイドの実装にHaskellを使用しています。高度な型システムと強力な型推論、純粋な計算と副作用の分離、テストケースの自動生成などが、安全なソフトウェアの継続的な開発を可能にしています。
Coyoneda って…… お前 functor がデータ構造になっただけやんけ！！
operational (あるいは freer) と呼ばれているものの説明として，
a) Coyoneda を使うと，kind が * -> * であるような任意の型から functor を作り出せる
任意の型 f :: * -> * について Coyoneda f は Functor のインスタンスになる
Template Haskell でいい感じに時間の長さを書けるライブラリ duration を作った
Template Haskell を使って，時間の長さをいい感じに(人間が読みやすい形で)記述できるライブラリを作った．
Maybe と IO を一緒に使いたくなったら
たまには初学者向けにライトな話題を．対象読者 すごいH本を12章か13章ぐらいまで読んだ do 構文を使って IO などの処理が書ける Haskell のプログラムはなんとなく書けるが，あまり綺麗に書けている気がしない
Type safer
I was chatting with friends about types. It seems that "type" means so many different things in different programming languages, "type safe" does not really mean anything without context. So here is this blog post, of me trying to explain what do I think about types, and how it helps us to program.
Type Level Permission Checking
Few days ago I was working on some API handlers in our server written in Haskell with the framework Yesod. There was a mistake, some secret data was accessible to normal users because we forgot to check the user's type, luckily it's not on production yet.
TypeFamilyDependencies の実用的な例を考える
FunctionalDependencies という GHC 言語拡張がある．Haskell Wiki によると，Functional dependencies are used to constrain the parameters of type classes. と書かれているが，これはどういうことか．
TemplateHaskellでコード中にJSONを埋め込んだりコンパイル時にファイルから型安全に読み込んだりする
前回よりはもう少し実用的な例を．Template Haskell を使って，Haskell のコード中に JSON をそのまま埋め込むことができるようにする．また，あらかじめ用意しておいた JSON ファイルをコンパイル時に読み込み，指定したデータ型の値にする．
Template Haskell でコンパイル時 FizzBuzz
数ヶ月前に Twitter で，コンパイル時に FizzBuzz を計算して，実行時には計算された文字列を出力をするだけ，というコンパイル時 FizzBuzz を何かの言語でやっているのを見かけた．元ネタは江添さんがC++で書いたものらしい．インスピレーションを受けて，Haskell で書いてはみたが，簡単すぎて全然おもしろくなくなってしまった．