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という…