Aith

Low level functional programming language with linear types, Generalized Inline Functions, levity polymorphism and regions.

Source

Aith is a perfomant systems programming language with an emphasis on type systems. As of now Aith is very early stages and very little is implemented.

Tags: language  

Last modified 16 December 2024