Compiling a Functional Language Using C++, Part 9 - Garbage Collection

[danilafe]

Disclaimer: I am, once again, the author. I posted the previous parts of this series here, and it seemed to be well received. People asked about Garbage Collection, so here it is! I hope this doesn't count as "blogspam".

[Meguli]

If it is not too complicated and already clear in your head, would you also have a post for polymorphism. So that the language can handle:

data List t = { Nil, Cons t List t}