セマンティクスってなに

「セマンティクス」という単語をあちこちで見かけていたけど、
今までどんな意味かよくわかっていなかった。

シンタックス(文法)に対してセマンティクスは「意味」「意図」を
表現することみたい。
参考にしたサイト JavaA2Z ではアクセス修飾子protectedで作成者の意図を
表現する例を挙げた。

「意図した使い方は便利に、意図しない使い方は使いにくく設計する。」
というような言葉がどっかにあったと思うけど、これはセマンティクスを
プログラムにしっかり織り込むことすすめている話なのかも。

他には...

多分引数にconstを記述するのもセマンティクスの話だろう。

javaでいうと@Overrideアノテーションとか。

プログラミング言語XXや言語入門～などの書籍はシンタックスを紹介し、
Effective XXのような書籍は良いセマンティクスを紹介しているんじゃないかな。

なんかこう、制約を課すような文法はセマンティクスを内包している感じがする。
　
　

コメント

コメントを投稿

このブログの人気の投稿

日食ツアーその後

実は３月頃kntの日食ツアーキャンセルしていた。 私の金銭感覚では値段が高すぎる。 先日、本屋で日食の本を手に取ったら結構日食って頻繁に起こっていることが判明。 なんだぁ。 代わりに普通の国内旅行に申し込んだ。自分で計画して行く旅行はほとんど無いので ツアーとかで十分。 きっとおばさんばかりに違いないけどまあいいいや。 次回は海外旅行とか挑戦してみようかな。 　 　
続きを読む

NashornがOpenJDKのリポジトリに入ってたのでビルドしてみた

最近、新聞で取り上げられるなど話題(汗)のJava界隈の話。 何気なく、nashornの近況をググってみたら、 nashornがすでにOpenJDKに入れられてた。 ををっ！ 自分の想像していた(根拠なし)より、ずっと早くOpenJDK入りしてた。 Nashornの2012/12/21のblogにはリポジトリのURLが載ってる。 参照：https://blogs.oracle.com/nashorn/entry/open_for_business nashornのリポジトリのログ見る限り、b65とか書いてあったので、 自分が先日確認した時点(b72)のbinary配布のjdk8に含まれているかと思って インストールしてみた。 サンプルコード： "use strict"; (function() { 　// バージョン取得 　var engineName = "nashorn"; 　var key = javax.script.ScriptEngine.ENGINE_VERSION; 　var m = new javax.script.ScriptEngineManager(); 　var engine = m.getEngineByName(engineName); 　var version1 = engine.getFactory().getParameter(key); 　var version2 = engine.getFactory().getLanguageVersion(); 　print("[DEBUG]\r\n" 　　　+ " engine version = [" + version1 + "]\r\n" 　　　+ " language version = [" + version2 + "]\r\n"); 　var names = engine.getFactory().getNames(); 　var temp = []; 　for (var i = 0; i < names.size(); i++) { 　　temp.push(names.get(i)); 　...
続きを読む

Javaのクロージャをいじってみた。(1)

イメージ
BGGAのクロージャサイト(http://javac.info/) の プロトタイプ実装をいじってみた。 マイコミジャーナルに概要を書いた記事があるようです。 今回いじってみたのは2008-07-07版と2008-07-13版のプロトタイプ実装。 JSRもドキュメントもちゃんと読まずにいじっているけど まあいいや。 １．単純実装の逆コンパイルして中身見る ・クロージャを用いたjavaコード public class SimpleClosure { 　　public static void main(String[] args) { 　　　　int sum = { int x, int y => x + y }.invoke(3, 4); // return 7 　　　　System.out.println(sum); 　　} } ・下のコードは上記コードをコンパイルし、jadで逆コンパイルしたコード import java.io.PrintStream; import javax.lang.function.III; public class SimpleClosure { 　　public SimpleClosure() {} 　　public static void main(String args[]) { 　　　　static class _cls1 implements III { 　　　　　　public final int _2B_invoke(int j, int k) { 　　　　　　　　return j + k; 　　　　　　} 　　　　　　 　　　　　　public final int invoke(int j, int k) { 　　　　　　　　return _2B_invoke(j, k); 　　　　　　} 　　　　} 　　　　int i = _2B_INSTANCE0.invoke(3, 4); 　　　　System.out.println(i); 　　} 　　// ↓クロージャの実体(staticのメンバとして記述される) 　　public static final _cls1 _2B_INSTANCE0 = new _cls1(); } 逆コンパイルで気づいた点 　・クロージャの場合実際はstaticメンバとして宣言されるため...
続きを読む