例えば仮にSchemeの再帰構文の実装がCのfor文だった場合、
再帰構文が表示的意味論でfor文が操作的意味論って
言いたい訳でしょうか？
これは誤りです。両者とも操作的意味論が正しい。
違いは実装レベルの問題です。極端な話、機械語も
操作的意味論の世界であります。コンピュータ言語に
おいては表示的意味論はコメントしか有り得ないのです。
と、言い切って…もういいかい？( ^^) _旦~~