<< 2009/10/21 | ホーム | 2009/10/23 >>

めも

VisualVM

タグ :

Static Type Inference for Ruby

Ruby の型推論の話。Ruby にはどんな型があるというのが 3 ページくらい続いて、推論は制約ベースでやるというのが 30 行くらい。メタプログラミング的なところは非対応。実装して実験もしてるみたいだけど、30 行じゃなくてもうちょっと書いて欲しいかも。

author="Michael Furr and Jong-hoon (David) An and Jeffrey S. Foster and Michael Hicks",
title="{Static Type Inference for Ruby}",
booktitle="SAC 2009",
publisher="ACM Press",
pages="1859--186",
year="2009"

http://doi.acm.org/10.1145/1529282.1529700

タグ : ,