Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

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

3,275 views

Published on

All about Kink semantics

Published in: Technology
  • DOWNLOAD THIS BOOKS INTO AVAILABLE FORMAT (Unlimited) ......................................................................................................................... ......................................................................................................................... Download Full PDF EBOOK here { https://tinyurl.com/y6a5rkg5 } ......................................................................................................................... Download Full EPUB Ebook here { https://tinyurl.com/y6a5rkg5 } ......................................................................................................................... ACCESS WEBSITE for All Ebooks ......................................................................................................................... Download Full PDF EBOOK here { https://tinyurl.com/y6a5rkg5 } ......................................................................................................................... Download EPUB Ebook here { https://tinyurl.com/y6a5rkg5 } ......................................................................................................................... Download doc Ebook here { https://tinyurl.com/y6a5rkg5 } ......................................................................................................................... ......................................................................................................................... ......................................................................................................................... .............. Browse by Genre Available eBooks ......................................................................................................................... Art, Biography, Business, Chick Lit, Children's, Christian, Classics, Comics, Contemporary, Cookbooks, Crime, Ebooks, Fantasy, Fiction, Graphic Novels, Historical Fiction, History, Horror, Humor And Comedy, Manga, Memoir, Music, Mystery, Non Fiction, Paranormal, Philosophy, Poetry, Psychology, Religion, Romance, Science, Science Fiction, Self Help, Suspense, Spirituality, Sports, Thriller, Travel, Young Adult,
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here

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

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

×