Abstract:
The paper presents an overview of the type system, which supports the convergence of procedural, object-oriented, functional, and concurrent programming paradigms relying on static type checking with smart type inference support and the ability to ensure dynamic type safety as well. The key element of the type system is that it is fully based on just 2 basis constants and all other constructions are derived.
Keywords:object, constant object, type, unit, class, module, interface, conformance, compatibility, type conversions, setters, reference and value objects, immutability