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

コメント追加

投稿者 kw : 2009年10月22日 13:47:00 JST #

読了。

コメント追加

投稿者 kw : 2009年10月20日 21:02:00 JST #

同じ XPath を何度も評価したり、同じツリーを何度もトラバースしたりしていないか解析する手法の提案。どんな XPath を評価したかということを型情報とし、制御フローを考慮した型システムとして定式化。

author="Michael G. Burke and Igor Peshansky and Mukund Raghavachari and Christoph Reichenbach",
title="{Analysis of Imperative XML Programs}",
booktitle="DBPL 2007",
publisher="Springer",
volume="4797",
series="LNCS",
pages="216--230",
year="2007"

コメント追加

投稿者 kw : 2009年10月19日 11:05:00 JST #

リアルタイム Java での開発: 第 2 回 サービス品質を改善する

コメント追加

投稿者 kw : 2009年10月16日 21:36:00 JST #

読了。

コメント追加

投稿者 kw : 2009年10月16日 21:34:00 JST #

リアルタイム Java での開発: 第 1 回 リアルタイム Java ならではの独特な機能を探る

コメント追加

投稿者 kw : 2009年10月12日 12:43:00 JST #

読了。

コメント追加

投稿者 kw : 2009年10月8日 21:39:00 JST #