Re: Conway's Game of Life (cellular automata)

[Matthias Felleisen <matthias@ccs.neu.edu>]

Anton, you may not speak for us, but you speak as if you were one of us :) 

TLS/HtDP teach that the shape of the program matches the shape of the
data. Recursion is the way most data is defined, but one has to recognize
what is recursive. For vectors it is the underlying indexing that is
recursively defined: a natural number or some subset. It's either 0 or 1
more than a natural number. Of it's 20 or 1 less than an N<=20 (which set
is that?) and on occasion you need a dependent type, but that's burried in
part 3 of HtDP. 

-- Matthias