Re:Carp – A statically typed Lisp, without a GC, for real-ti...
by baq on Friday October 15, 2021 @05:25AM
(#28875862)
AOT doesn't necessarily mean GC-less, right?
[ Parent
| on HN ]
Re:Carp – A statically typed Lisp, without a GC, for real-ti...
by brabel on Friday October 15, 2021 @06:52AM
(#28876389)
Maybe they actually mean VM-less, which would probably imply GC-less because if you have a GC, you pretty much have a VM doing the GC (unless it's simple ref-count). For embedded, you need VM-less, I think, as VMs tend to be too heavy.
Re:Carp – A statically typed Lisp, without a GC, for real-ti...
by bitwize on Friday October 15, 2021 @08:32AM
(#28877021)
Gambit has a VM and a GC, and is still AOT-compiled to C. (The Gambit VM is an intermediate representation of Scheme code which is then compiled down to C code.)
Re:Carp – A statically typed Lisp, without a GC, for real-ti...
by white-flame on Friday October 15, 2021 @01:50PM
(#28880723)
VMs imply a non-native bytecode execution. Garbage collection doesn't require any of that.
It's just normal library code usually called by the allocator, and well-specified memory object/pointer layouts.