David Griswold wrote:
> Hi Stefan and Andreas,
> 
> Sorry for the late reply- I've been offline for the last few days.

Thanks for your explainations.  Somehow I thought "VarAssoc" means 
association for variables and not an association which can be modified 
so I wondered why you need to propagate that type. Furthermore I 
thought, that using <Self> whould propagate the actualy type at runtime 
time (which if on the second thought of course impossible for a static 
type system).

You say that with some experiences, the type system is easy to 
understand.  While most declarations are pretty obvious, I find it 
difficult to get some of the tricks (The typing of #perform: for 
example).  Unfortunately, when following the tutorial or doing some 
experiements, the system crashes very often, throwing "This should not 
happen" errors :-(

However, my feeling is, that I'd perfer an inferring type system which 
does not force me to specify all types of all local variables but infers 
theses types, just checking for incompatibilities.

bye
-- 
Stefan Matthias Aust   //
www.3plus4software.de // Inter Deum Et Diabolum Semper Musica Est