3 ms·Linear types (ownership) are used in another ML-inspired functional programming language, ATS.by milcron 10y agoLinear types (ownership) are used in another ML-inspired functional programming language, ATS.