Austral (a simple-ish language with a linear type system)

[Araq]

Well IMHO it's quite explicitly spelt out:

> No destructors.
> 
> No implicit function calls.

<https://austral-lang.org/features>