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

[icedquinn]

i don't think their goal was a commentary on destructors. it seemed like they 
were trying to bridge copy-and-move with borrow checking in the simplest way 
someone could come up with.