Type inference in Ruby

http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-talk/125594

昨日か．

うっかり見落としてた．ruby-listへの誤爆が無かったら，気付かないところだったよ．ruby-talkになんかpostすべきか．

Type inference in Smalltalk-like languages has been studied since at least 1981, when Norihisa Suzuki published a type inference algorithm for Smalltalk-80.

というのが，新しい発見．

このスレッドのその後の流れは，細かい話になっちゃってて，フォローするのが面倒だから読んでない．また明日．

※ごそごそ英文メールを書いたけど，やっぱりこの議論をきちんと読んでからにしようと思った．まだ誰かがなにかやってる雰囲気でもないし．