2006-09-12から1日間の記事一覧

Nominal and Structural Type Systems

以前、ちょっと話題になっていて、どうも私の理解とは異なる結論だったので気になっていた。コードの読みやすさは、どれだけ型推論に頼るかの問題であり、確かにその差は型システムの違いから生じるものではあるが、他のもっと本質的な問題を無視するのは問…