bone-lisp

I've seen at least one implementation that uses explicit regions; before doing something with say a bunch of cons operations, you allocate a region, all the evaluation is done in the region, it returns a result to the parent region, and the region is then manually dropped, freeing the space used. Set up another region for the next large evaluation and so on. Almost C style, and I'm sure just as error prone, but it seems like it could work. https://github.com/wolfgangj/bone-lisp

There is also bonelisp[0], but I think that is dead. [0]: https://github.com/wolfgangj/bone-lisp

Other GC-free Lisps: Pre-Scheme(https://en.wikipedia.org/wiki/PreScheme) is a GC-free (LIFO) subset of Scheme newLISP(http://www.newlisp.org/) uses "One Reference Only" memory management Linear Lisp(http://home.pipeline.com/%7Ehbaker1/LinearLisp.html) produces no garbage (and seems to have no implementation) Dale(https://github.com/tomhrr/dale) is basically C in S-Exprs (but with macros) ThinLisp(https://web.archive.org/web/20160324213055/http://www.thinlisp.org/, https://github.com/ska80/thinlisp) is a subset of Common Lisp that can be used without GC Bone Lisp(https://github.com/wolfgangj/bone-lisp) semi-automatic memory management list is copyed from: https://www.reddit.com/r/lisp/comments/4mtktn/bone_01_lisp_w...

Very neat! Looks like this is an even older language than the one I'm familiar with: bone-lisp. Bone-lisp is interpreted but ops for "explicit regions instead of garbage collection". There is also an awesome list of similar projects on the bone-lisp README (on which I now see Dale included) which I'll quote from: > Somewhat related Free Software projects: > * Pre-Scheme is a GC-free (LIFO) subset of Scheme > * Carp is "a statically typed lisp, without a GC" > * newLISP uses "One Reference Only" memory management > * MLKit uses region inference (and a GC) > * Linear Lisp produces no garbage > * Dale is basically C in S-Exprs (but with macros) > * ThinLisp is a subset of Common Lisp that can be used without GC [1] https://github.com/wolfgangj/bone-lisp

you-have-just-experienced-things on Tumblr is both a functional programming nerd and someone who has taken an interest in Urbit. Here's the tag: http://you-have-just-experienced-things.tumblr.com/tagged/no... He notes bone-lisp: https://github.com/wolfgangj/bone-lisp/ http://you-have-just-experienced-things.tumblr.com/post/1455... - - which he considers basically a lot of what Hoon should have been, i.e. sensible.

As a datapoint, bone-lisp [0] is a Lisp-1 without a GC. There is prescheme [1] as well. Mlkit supposedly uses region-based management as well but I'm pretty sure it also has a GC too. [0] https://github.com/wolfgangj/bone-lisp [1] http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.40...

The idea of getting rid of GC is very exciting, as GC has a lot of drawbacks. I want to study Carp to see how this was achieved. Incidentally, today I also found Bone Lisp https://github.com/wolfgangj/bone-lisp/blob/master/README.md which has the same goal.