■

どういう風にRubyをformalizeしたらいいのかわからないので、SmalltalkがRubyと似ているらしいので*1、Smalltalkを調べようと思った。

んで、こういうの(http://www.wolczko.com/mushroom/ecoop.html)を見つけたんだけど…

The semantics of much of the Smalltalk-80 language are described using the denotational style.

うえーdenotational semanticsはわかりません…

しかもtype systemの話がいいんだけどな・・・

*1:客観的にはRubyがSmalltalkに似てるんでしょうけど