http://twitter.github.com/scala_school/type-basics.html 以下は私の方でtypoや表示崩れを直したものです。 https://github.com/seratch/scala_school/blob/master/web/_posts/2011-05-05-lesson.textile 誤訳などありましたら、お手数ですが、ご指摘いただければ幸いです。 What are static types? Why are they useful? Benjamin C. Pierceは「型システムは、プログラムの句を計算結果の種類によって分類することで間違ったプログラムのふるまいがないことを自動的にチェックするための構文上の手法です」と言いました。 型はあなたに関数のドメインや値域を示します。数学から見慣れた例を挙げます。 f: R -> N こ