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.