Advantages of dynamic method-oriented mechanism in a statically typed object-oriented programming language Z0

Z(0) is a simple class-based pure object-oriented programming language. It was basically designed as an experimental language that would provide a static yet expressive type system, method dynamics and pure object abstraction philosophy. Classes define their state explicitly and exclusively through method abstractions. There are no instance variables because Z(0) aims to achieve a clean and strict method-based modification mechanism for objects. Dynamic features that enable method-based calculation between objects have been incorporated in a way that conforms to the language's strong static type system. This has been done with a method update mechanism that is fully checkable at compile-time and requires no runtime overhead in invocation.