News for hackers. Stuff that matters.
Re:If not SICP, then what? Maybe HTDP? by AlexeyBrin on Saturday January 12, 2019 @12:37PM (#18892249)
> I do wish there was an equivalent that used a statically typed language

Not exactly an equivalent, but a very good book (that uses a statically typed language) is "Elements of ML Programming" by Ullmann.

Re:If not SICP, then what? Maybe HTDP? by kod on Sunday January 13, 2019 @10:56AM (#18897119)
Yeah, that's a good book, but as you noted it falls under teaching a language, not so much teaching how to think.