Indeed. Linear Lisp promises the same thing (http://www.deepdyve.com/lp/association-for-computing-machinery/lively-linear-lisp-look-ma-no-garbage-LvEqZZStmU htt

Indeed. Linear Lisp promises the same thing (http://www.deepdyve.com/lp/association-for-computing-machinery/lively-linear-lisp-look-ma-no-garbage-LvEqZZStmU http://www.deepdyve.com/lp/association-for-computing-machine...) and perhaps Linear Joy (http://osdir.com/ml/lang.concatenative/2005-10/msg00009.html http://osdir.com/ml/lang.concatenative/2005-10/msg00009.html)... It seems that when you do that, though, and especially from looking at the tutorial, you end up with semantics that are a) fundamentally different from GC-ed semantics, and b) explicit about memory management. But perhaps it amounts to a kind of type-safe memory management?