2008年04月21日

HMF

LtU経由。HMFというHindley-Milner型推論の拡張を作ったよという論文。論文pdf筆者の研究関連のページ

部外者としての感想。こういう教科書に載るレベル(=枝葉でない)の話を推し進めている研究をみると心が震える。(型推論とSystemFが教科書レベルかという議論は置いておく。まぁTAPLにあるし。)それでいてかなり簡単に書けるレベルの複雑さなのがまた驚きである。理解も兼ねて今度実装してみる。


posted by chun at 21:15| 関数型