脳log[20110128]

2011年01月28日 (金) Scala。Cの型はコンパイラに対するメモリの幅と解釈の指定。変数にひもつけられている。Rubyの型はメモリ上のデータにひもつけられている。変数には何もない。型付けされた変数が Rubyにあったら、定型のガード節をインタープリタに任せられるかもしれない。一部の実行時エラーがコンパイルエラーになる夢もみられるかもしれない。