All about Kink semantics

What's hot

Viewers also liked

More from Taku Miyakawa

言語設計者が意味論を書くときに考えていたこと

• 1.
   @miyakawa_taku JJUG幹事SI屋で賃労働 オレオレJVM言語Kinkを作っていますhttps://bitbucket.org/kink/kink 尾上部屋の里山関のファンです自己紹介1
• 2.
  2Kinkとは!こんなの↓ プロトタイプベースのオブジェクト指向言語 JVM上で動く言語処理系だ!仕様策定者: 宮川 拓 実装者: 宮川 拓 ユーザ: 宮川 拓
• 3.
  言語設計者が意味論を書く時に考えていた事2015-04-18 渋谷JVM LT宮川拓
• 4.
  4はいけい去年の7月から12月ごろに掛けて、Kinkの意味論を一通り書き直しました例示によるゆるふわ意味論では無理が出てきた 何が正しいか分からない……
• 5.
  5Kinkの意味論http://doc.kink-lang.org/kink/manual-ja/language/semantics.html
• 6.
  言語の意味論の分類 表示的意味論 プログラムの項の集合を他のなにかの集合にマッピングする意味論操作的意味論 あるプログラムがどんな風に動くか、を記述する意味論 公理的意味論 なんか難しくてよく分からん6
• 7.
  7Kinkのプログラム意味論(にゅー)二段階に分けてます1. 表示的意味論2. 操作的意味論
• 8.
  表示的意味論の部分8:Var = 42¥env::Var.op_set(42)env;varref Var; dup;emptylist; num 42;add; flip; deref op_set; call正規化仮想的なスタックマシン (KSM)の命令列に変換
• 9.
  env 環境をpushvarref Varpopした値の変数参照を作ってpushduppopした値をpush, pushemptylist 新しい空のリストをpushnum 42 数値をpushadd値をpop, リストをpopして末尾に値を追加したリストをpush操作的意味論の部分9
• 10.
  10意味論書いてみて分かったこと Kinkのことがよく理解できた! 「ブロックから関数を生成」は、よりプリミティブなふたつの命令に分解できる処理系のバグが見つけられた! 最適化前と最適化後で、関数呼び出しの処理順序が変わってしまっていた
• 11.
  11教訓みんなもプログラム意味論を書こう！