« Book:ラブレー『ガルガンチュア』 | トップページ | 落語:立川志ら乃独演会 »

2005.01.09

Ruby:言語型チェックプログラム

 松本宗太郎さんが、Ruby の型正当性を検証するプログラムの開発に着手された模様。

 まだα版以前の段階ということらしいのですけれど、興味深い試みなので、チェックしていこう。

 僕自身のことを言えば、Ruby で変数の型宣言が必要ない恩恵を受けつつ、明示的でないことからくる混乱に悩まされることがしばしばあるので、この試みはありがたいかも。

Typing Ruby - Ruby 言語型チェックプログラム
 http://truby.sourceforge.jp/index.j.html

|

« Book:ラブレー『ガルガンチュア』 | トップページ | 落語:立川志ら乃独演会 »

「パソコン・インターネット」カテゴリの記事

コメント

コメントを書く



(ウェブ上には掲載しません)




トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/33724/2515958

この記事へのトラックバック一覧です: Ruby:言語型チェックプログラム:

« Book:ラブレー『ガルガンチュア』 | トップページ | 落語:立川志ら乃独演会 »