> I also kind of strongly dislike HtDP.
I'm researching programming pedagogy and I'm curious about your thoughts on this.