I remember reading an article about almost the same topic by Felleisen, maybe Flatt, maybe Culpepper and some others from the PLT group, it was about using DrRacket to teach maths, there was an example involving the take-off of a rocket iirc. Is anyone able to find it? I don't remember the title nor where it was published.
I really like the idea of teaching math in tandem with elementary programming. It demystifies writing code and can be very helpful in teaching important math concepts like functions, variables and graphing. At the very least, exposure to programming at an early age will get more kids interested in the subject.
Does anyone know of good examples of schools that are already doing this with something like Dr Racket?