Famix can be seen as a statically typed language.

For example Invocation is an association between two behaviouralEntities (if I recall correctly).

The question that bugs me is why (or how) die-hard smalltalkers [ :-) ] ended-up making that choice?

nicolas