意味論の面白さ
意味論の面白さを伝えるのは難しい
この記事でも伝えられるとは思えない
色々試行錯誤してみる
意味論の意味
たとえば「犬」という言葉は、紙面上に表された形状として、また誰かの声帯から発した空気中を伝わる振動として表現されますが、実際の犬や一般的な犬の概念とはまったく違うものです。意味論というのは、こうし た具象的記号がその抽象的意味や抽象的意味の基本的性質とどのように関係しているか、に関心があ ります。
言語の仕様
実装による仕様
公式文書として仕様書を書く
形式意味論の数学的テクニックを利用して、プログラミング言語の意味を正確に記述すること
ロマンがある
種類
操作的意味論
プログラムがある種の装置上でどのように実行されるのか、その規則を定義することによって、プログラミング言語の意味を記述する方法です。
≒ インタプリタ
表示的意味論
すでに確立された別の言語(もっと低レベルで、もっと形式的で、少なくとも記述しようとしている言語よりも理解されている言語)の意味を利用して、新しい言語を説明することに関心があります。
英語語を話す人に「歩く」の意味を説明しなければならないとしましょう。私たちは英語語の動詞「walk」と同じだと教えることで、それを「表示的」に伝えることができます。この方が明らかにハイレベルなコミュニケーションであり、実際に体を動かすような面倒もありません。
≒ コンパイラ