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

[ElegantBeef]

Cause I disagree with parts of the linear type system. RAII exists so let's use 
it instead of pretending that doing what a compiler can do for you makes good 
code. Like I mentioned it does not need to be discardable. I think compilers 
should protect you from yourself in a non interfering way. If it can infer it 
needs to destroy why put the onus on the programmer?