Oh no, HtDP is, in a way, for absolute beginners[0]. SICP has way more sophisticated topics, I think you'll learn more with it. One thing though, lots of exerci

Oh no, HtDP is, in a way, for absolute beginners[0]. SICP has way more sophisticated topics, I think you'll learn more with it. One thing though, lots of exercises on real numbers (it was for Electrical Engineers at the time), some like it, some don't. Or you may try moocs (if they're still available): EPFL functional programming in scala (by M.Odersky) is great. University of Washington Programming Languages (by D. Grossman). There's also Brown University CS173 (related to Grossman) https://cs.brown.edu/courses/cs173/ https://cs.brown.edu/courses/cs173/ Hope you'll find something fun in this [0] It's value to me is that it doesn't bind to a paradigm, but innocently make people structure data and destructure it logically in a way that leads to obvious functions. It teaches pre-think rather than write-in-$language-then-suffer. Also being based on scheme opens your eyes to a very simple language (closures and lists).