4 ms·ATS is another language that uses linear types: http://www.ats-lang.org/ http://www.ats-lang.org/by doublec 11y agoATS is another language that uses linear types: http://www.ats-lang.org/ http://www.ats-lang.org/