Haskell Advent Calendar 2011 誰も立ててなかったので立てました。 私はGADTsを調べて使ってみた的なエントリを書くつもりです。

グラフ構造を処理するために、アルゴリズム側で有向、無向、双方向の各分類で処理を分けたい場合があります。そんなときには、boost::graph_traits::directed_categoryで方向性を表す型を取得することができます。それを使ってオーバーロードすることもでき…