How to Design Programs: An Introduction to Computing and Programming
htdp.org
htdp.org
Here is the announcement:
http://blog.racket-lang.org/2010/06/plt-is-happy-to-announce...
htdp (this thread)
plai http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/
eopl http://www.cs.indiana.edu/eopl/
Also,
Could be that programs that write programs are really powerful/exciting and that it is really possible only in both ends of the expressiveness spectrum.
That's a very nice way of putting it. I too feel a lot more confident about an entire class of problems thanks to HTDP. The only problem I have with the book is that the generative recursion stuff is not as well done as the structural recursion portions, but I guess that could be because generative recursion portions are inherently more creativity requiring/difficult than the structural portions. Anyway, that portion is being revamped for 2e so I'm looking forward to relearning it.