There are at least functional programming languages that try to let you get by without or at least less GC: ATS: https://bluishcoder.co.nz/2011/02/27/linear-da

There are at least functional programming languages that try to let you get by without or at least less GC: ATS: https://bluishcoder.co.nz/2011/02/27/linear-datatypes-in-ats.html https://bluishcoder.co.nz/2011/02/27/linear-datatypes-in-ats... Stalin does global static life time analysis and MLKit uses GC only to augment it's region based scheme, but you can turn it off (at the cost of guaranteed space safety). Of course Rust is a bastard child of ML as well.