普通、計算機の世界での「意味論」ってのは
ある言語で表現された文と、その文に関わる動作との
「結びつき方」の事を指すと思っていたのだが・・・

で、その際に各文節が文脈を持たずに
（その意味を）表現できれば「表示的」、
そうでなければ「操作的」、という区分けだと思っていたけど。。。

何かここで話されている「意味」という言葉の「意味」は
全然違うものを指しているような気がするのだが、
俺が間違っているのか？

どうして処理系固有の話（副作用云々）が出てくるんだ？