While it has a been a great piece of wrong to introduce affine type systems into mainstream, it hardly justifies outside domains where any kind of automatic memory allocation isn't either a blocker, or religious issue that won't be sorted out even by proving the contrary.

I see the ongoing attempts to add linear types for low level coding, alongside automatic resource management more future proof.