Show HN: A Data-Centric Introduction to Computing (Intro CS & Programming Book)

This book is good. But not as good as the previous book by Shriram Krishnamurthi : https://htdp.org/

The only positive point I see in this book is that it is less formal (or set-theoritic as the authors call it) than How to Design Programs and uses a typed language Pyret and an online IDE.