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