[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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




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