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

Z
₀
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
₀
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