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

[Araq]

It's interesting but ultimately some misguided attempt to "make destructors" 
visible like they do something interesting. But they don't. Sure, they have 
overhead but there is not much you can do about it except for rewriting quite a 
bit of the program so that it allocates less. But this information is readily 
available within a profiling environment and if you don't profile, it's already 
fast enough anyway.