From: tadashi nagao <tadashi.nagao@...>
Date: 2008-02-20T11:49:55+09:00
Subject: [ruby-list:44664] Ruby で形式手法

長尾といいます。

素朴な質問ですみません。

Ruby の仕様の中に、なんらかの形で、
形式手法を盛り込むことは可能なのでしょうか？

CafeOBJ 的なことができると面白いような気がします。
http://www.jaist.ac.jp/~t-seino/lectures/cafeobj-intro-j/