Major Goals

YAFL is an original language, which design is directed toward several goals:

YAFL is a modern coding language, as opposed to a specification or an abstract language.
It is also a high-level object-oriented language: YAFL supports inheritance and parameterized classes.
Safeness and robustness: YAFL includes a full-featured garbage collector.
A software engineering language: YAFL is a strict language, which includes an assertion mechanism, as well as an original feature called the compiler support.
Efficiency: YAFL can be easily compiled into native or intermediate code: it has been designed in such a way that no runtime type checking is needed, without sacrifying any safety features.