Я сам, собственно, десятиклассник, и может быть, моё мнение будет полезно, как взгляд с той стороны, над которой Вы хотите провести эксперимент)
Вообще, я сам недавно начал учить Haskell, и он мне нравится. Ещё мне нравится пробовать использовать функциональные плюшки в Python. Вполне возможно, что и Вашему девятикласснику понравится функциональщина. Но, честно говоря, мне кажется, что в качестве первого языка Haskell будет сложноват. Лучше начать с какого-нибудь Pascal (так как на его примере отлично видно, что представляют из себя различные типы данных), потом, например Python (и тут уже можно даватьь потихоньку функциональные плюшки питона), и потом, наконец, если интерес не пропадёт, можно дать Haskell. Мне кажется, так проще будет понять его.
