> Without knowing too much about intricacies, wouldn't it be beneficial to have system (kernel) provided gc? Isn't it already there? You allocate memory with m

> Without knowing too much about intricacies, wouldn't it be beneficial to have system (kernel) provided gc? Isn't it already there? You allocate memory with malloc(), free it with free() and the system takes care of fragmentation and stuff like that. The GCs that we are used to are usually one level higher, but I imagine that you could also go one level lower, where memory managment is really manual. For exemple, allocating all memory at the start of the program and doing everything yourself.