http://en.wikipedia.org/wiki/ProgramByDesign http://en.wikipedia.org/wiki/ProgramByDesign has more on functional programming in high school. I'm surprised Haske

http://en.wikipedia.org/wiki/ProgramByDesign http://en.wikipedia.org/wiki/ProgramByDesign has more on functional programming in high school. I'm surprised Haskell was such a success here (although I've mostly not worked with that age cohort since I left it) -- I'd expect a strict language to be more productive for beginners, combining the biggest part of the thinking-about-correctness advantage with an easier performance model. But if it's working, that's fantastic. Also in that vein https://www.coursera.org/course/programdesign https://www.coursera.org/course/programdesign says it needs only a grade-school background.