タグ

rubyと型理論に関するkgbuのブックマーク (2)

  • RHGの逆襲 - soutaroブログ

    まず、私が質問したことだけまとめとく。 YARV Bytecodeをロードする話 問題は二点:互換性と安全性 安全性について。 Rubyプログラムをちょこちょこっと書き換えても、安全性は損なわれることはない。ここでいう安全性とは、処理系が実行中に未定義の状態にならない、という程度の意味。卑近な表現をすれば、SEGVが起きないと言うこと。これは、Rubyの処理系によって(直感的には)保証されている(し、そうなるべく開発者は努力していることが、自然に期待される)。 一方、YARVのバイトコードを書き換えたときには、「なにが起きるかわからない」。未定義の状態になって、SEGVするかもしれないし、未定義の状態というのは計算機が突然壊れても文句を言えないということ。JavaのクラスローダにはVerifierがあって、安全だと確認できないクラスファイルはロードできないようになっている。 Verifie

    RHGの逆襲 - soutaroブログ
  • はてなブログ | 無料ブログを作成しよう

    「百年の孤独」を粘り強く読んだら、読書スピードが上がった件 最近、を読むスピードが速くなってきた。片道の通勤電車で50ページだったのが、70ページくらい読めたりする。 理由は先日、百年の孤独をなんとか読み終えたことが大きい気がする。 百年の孤独 (Obra de Garc´ia M´arquez) 作者:ガルシア=マルケス,ガブリエル 新潮社 …

    はてなブログ | 無料ブログを作成しよう
  • 1