2009-09-03から1日間の記事一覧
Catyで使う型定義とスクリプトの構文については、「Jcentric型システムの宣言スタイル・スキーマ構文」と「Catyスクリプトの構文」で述べました。意味論はほとんど述べてません。ここで、意味に関するオオザッパな話を少しだけ書いておきます。デカルト分配…
父親:「あれっ、なんでこんなにランドセルが重いんだ?」長男:「えっ」父親:「教科書入れ替えるのが面倒なんで、全部詰め込んでるんだな」長男:「あ、うん」父親:「もう、横着にもほどがあるなー」長男:「あの、でも…」父親:「重いだろ、これ」長男:…