タグ

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

  • RHGの逆襲 - soutaroブログ

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

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

    晴天の価値 2月中旬に出張で千葉へ行った。5日間の滞在中はずっと快晴で、気温は20℃に迫る春のような暖かさだった。仕事は朝から晩まで現場を走り回る過酷なもので、身体的にも精神的にも追い込まれた。毎朝、京葉線から見える美しい景色を眺めて正気を保っていた。太平洋へ燦々と…

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