OCmal's GC is one of the fastest GC ever made. And it is the case because it uses immutability to great benefice.
According to which benchmarks? And does the fact that an object is immutable really need to be known at compile time for GC related optimizations?
