kmizuの日記

冷やし中華はじめました、みたいなこと書いてみたかっただけです。はい。 これまでKlassicでは、メインのインタプリタは（あとで静的型をつけることを意識しつつ）動的型言語でしたが、少しずつ静的型を加えていっています。現在のところ、まだ多相型を扱えないという制限はあるものの、 val x = 1 // xはInt x = 2 // 再…