Thank you for your thoughtful response.
On your first point about using machine derivatives. I get what you're saying and I hear you on the autopilot (I think that one has even crept into the Boeing vs. Airbus debate.) I'm just not sure what's better....rote derivatives by hand as "the lesson" or computer-based derivatives, with some other goal (graphing f vs f' perhaps?) as "the lesson." Long long term, the computer derivatives might be all they need. Again, I just don't know...
I am familiar with Dr. Wolfram's position on this...I read his blog and quite like his book "An elementary intro to wolfram language," but conditionals and loop are MY FAVORITE thing to put in front of beginners. To me they're the first step into programming and getting kids to see what a machine can do: make decisions and do something over and over again.
Yeah, and on your DSL comment: Lua is so vanilla, I think lessons learned in it are easily translated into other languages.