My 5 year old son writes proofs for very basic algebraic expressions at the ghci (Glasgow Haskell) prompt – with my assistance of course. He will not be introduced to imperative programming until he is “ready” – much like you wouldn’t introduce the concept of war or politics to a small child.
— From a comment on an article comparing Scheme and Haskell as teaching languages.