Catyのインタプリタ＝評価関数の表示的意味論 - 檜山正幸のキマイラ飼育記 (はてなBlog)ソフトウェアの意味論は何のため／誰のために必要か 型チェックと型推論 という事情で、Catyの意味論を少しずつ書いていきます（あんまりタラタラはしてられないけどね）。こういう話は作り側に関わることで、使う人には何の関係もありません -- 次の記事を参照のこと： Catyに関して重要で一般的な注意：表側と裏側は違う この記事では、Catyスクリプト・インタプリタの仕様を、表示的意味論風に記述します。表示的と言っちゃいましたが、インタプリタを表す関数の定義をかなり具体的に与えるので、操作的意味論に近いです*1。式のdenotationを圏のなかに取る話（圏的意味論）は別な機会にします。 内容： パラメータとプロファイル 式、閉じた式、開いた式 3項のEval 2項のEval 1項のEval インタプリタの巡回構造 Catyのスノーグローブ現象と山猫スクリプト Evalを定義する パラメータとプ
