Any language that implements linear types has values that can't be ignored and need to be passed to some "destructor" (could just be a deconstruction pattern as

Any language that implements linear types has values that can't be ignored and need to be passed to some "destructor" (could just be a deconstruction pattern assignment/similar). Examples: Austral, some of these https://en.m.wikipedia.org/wiki/Substructural_type_system#Programming_languages https://en.m.wikipedia.org/wiki/Substructural_type_system#Pr... in particular at least ATS, Alms, Granule, LinearML Though most haven't gone beyond research languages yet.