Catyの意味論を少しずつ書いていきます（あんまりタラタラはしてられないけどね）。 タラタラはしてられないので、やれるところまで今日やっちゃいますよ、意味論。「Catyのインタプリタ＝評価関数の表示的意味論」において、Catyスクリプトの表示的意味論と…

ソフトウェアの意味論は何のため／誰のために必要か 型チェックと型推論 という事情で、Catyの意味論を少しずつ書いていきます（あんまりタラタラはしてられないけどね）。こういう話は作り側に関わることで、使う人には何の関係もありません -- 次の記事を…