> The Ur/Web compiler also produces very efficient object code that does not use garbage collection.

http://www.impredicative.com/ur/

The gossip on #lobsters says it's a fully functional language and the way it does not-gc is it guesses how much memory you'll need, allocates some pages once, runs, then dies. If it runs out of memory it tries again from the start with twice the memory.

Reminds me of those people who turned of gc in Python and just periodically died instead, making sure not to run gc on death.

And that makes me think of https://www.varnish-cache.org/docs/trunk/phk/notes.html .