Austral uses linear types as a main feature https://austral-lang.org/