Garbage collection: the root of all evil

Garbage collection is the scam on which all others are based.

Without garbage collection, there would be no lazy evaluation, no functional programming, no closures, no placing the lambda calculus on a pedestal. All of these scams are based on garbage collection.

``Functional programmers'' had to invent a new branch of mathematics: ``domain theory'' to describe lambda calculus.
http://www.cs.nott.ac.uk/~pszgmh/domains.html

``Domain theory'' is really garbage collection, thunks, and stacks, dressed up in complicated math.

This brought the idea of ``bottom'' into computer science. Before, people didn't think about programs as bottoms and functions: they thought about actions.

This changed the meaning of ``undefined'' too, from real actions defined by the specific implementation (like what the computer does when indexing an array out of bounds), into its ``modern'' definition (out of bounds indexing is meaningless, so it can be assumed never to happen) by identifying it with bottom.

>>7
Turing machines (which are a lot closer to the imperative model than Lambda calculus is) don't need garbage collection either, since the length of the tape is unbounded, and when you're no longer using an object, you can simply move on to another section of the tape. Garbage collection only becomes necessary when memory is limited - both LC and TM assume unlimited memory, such that there is no meaningful distinction between GC and a memory leak.