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