Ask HN: Are there *effective* games that teach kids to program?

There are many options out there, with mixed reviews.

For very young children, pre-programming just means learning logic, and about the world. It could be argued you might learn that just by going to the park.

But are there games that actually accelerate learning of mathematical concepts like Boolean logic, probability, conditionals and loops?