Hello Alexander,

AK> rade wrote:
>> def foo(object)
>> return object.call(9, 7, 3)
>> end
>>
>> couldn't the type system figure out that object must respond to the
>> call
>> command and thus eliminate an error like:
>>
>> foo(5)

AK> i see no difficulty in using ruby's advanced tracing
AK> facilities to improve documentation and via persistant

Rubys tracing facilities are far away from being advanced.
Tracing type information is (for performance reasons) almost
impossible on real world programs.

-- 
 Best regards,                        emailto: scholz at scriptolutions dot com
 Lothar Scholz                        http://www.ruby-ide.com
 CTO Scriptolutions                   Ruby, PHP, Python IDE 's