4 ms·
I think a language like Clojure would have to go the ARC (Automatic Reference Counting, not the language) route. Whether that's even possible is another matter
by breckinloggins 13y ago
I think a language like Clojure would have to go the ARC (Automatic Reference Counting, not the language) route.
Whether that's even possible is another matter, but I agree that the LLVM memory management problem is an interesting one.
Another question is whether there should exist a "sys lisp" that can form the lisp core of higher level lisps but that itself is not a garbage collected lisp. I don't immediately see a way forward on that one, but it's an interesting thought.
- hga 13y agoFor your last question you could start by looking at PreScheme: http://en.wikipedia.org/wiki/PreScheme http://en.wikipedia.org/wiki/PreScheme
- breckinloggins 13y agoThank you! This is a big missing piece for some of my research.
- PuercoPop 13y ago>> Another question is whether there should exist a "sys lisp" that can form the lisp core of higher level lisps but that itself is not a garbage collected lisp... You may be interested in Henry Baker has a paper where he shows a VM where the semantics prevent garbage from being created http://home.pipeline.com/~hbaker1/LinearLisp.html http://home.pipeline.com/~hbaker1/LinearLisp.html