2004-11-17から1日間の記事一覧

このパラグラフは一度書き直されています.

大学院の講義(プログラム理論特論:亀山先生)のスライドを,制御構造を推論するときのことを考えて,ざっと目を通す.でも,強く型付けされた言語が対象だから,参考にしにくい.

Rubyで型推論してみる話. x.foo(y.bar())みたいなrubyの式があったときに, {x:sig1, y:sig2}, {sig1⊇{foo:sig3→sig4}, sig2⊇{bar:()→sig3}}, sig4 といった出力をするプログラムはできた.この出力は,xがsig1というクラスに属していること,yがsig2という…