- 2011-11-11 (Fri) 20:20
- 一般
テンプレートは透ける．変換したらこーなった．
閑話休題．
理論の実証のために，いくつものデータ型に対して同じようなクラスやインスタンスやゴニョゴニョを沢山書く必要があった．が，それらはデータ型の定義さえ手に入れば機械的に作れるものなので，二個目の型に取りかかったあたりで面倒＆馬鹿らしくなってきた．
ということで，定義を生成するプログラムを Template Haskell を使って書きだしたのだけど…… こっちはこっちでめんどくさい．わかりやすいドキュメントがあるのか無いのか．つか，データ型を渡して型クラスとかインスタンスとかを生成させるという使い方（つまりは deriving のようなことをさせるの）は正しいのかどうかよく分からん．
とりあえず別の手法にいったほうが良いかも知れないなぁ．
- Newer: ことはじめ