最初のページ
戻る
次へ
最後のページ
目次
図
まとめ
G'Camlの型レベルプログラミング能力
抽象型、型変数(O'Caml)
分岐、再帰(G'Caml)
課題
when othersな分岐ができない？
書き方が変？or 代替テクニックが必要？
なんとかしてLoki::TL::Eraseを……
あと、もう少し実用的な用途を……