TDLang - Type - driven language dependently typed object - oriented JVM programming language for type - driven development

Abstract

Compilers are edging towards more advanced compilation techniques, a huge factor limiting advances in compilers is the type system of programming languages. Within the last five years the integration of dependent type system into the strong type system in object-oriented programming languages were identified as a new improvement for compilers, and formal verification for building quality software with less amount of unknown bugs. TDLang is a cross-platform dependently-typed object-oriented JVM language for type-driven development with many benefits such as an easy-to-use syntax sugar for object-oriented programmers, auto-generation of validation code and custom exceptions, JVM language interoperability, etc.