Кадется мы с тобой уже пересекались в комментах, в теме про делфи.
И ты задвигал идеи обучать детей функцианальным ЯП, 'основам лямбда-исчисления и теории категорий' и прочим вещам, которым в школе не место.
(Если нет, то прими мои извинения)И опять приводишь в пример haskell.
Это же уродливый язык который, на котором написано полезного столько, что можно посчитать на пальцах одной руки (сужу по опенсорсу, ну в силах того на каком мы сайте).
Более того в прошлой теме ты задвигал про обучению CS.
Так приведи примеры общих и/или ознакомительных курсов серьезных вузов где это убожество применяется? (То что будет отдельный курс по хаскелю - в это я охотно поверю).
Пока ситуация выглядит не в пользу функцианальщины
У mit.edu в секции General Introductions to Programming используется Python во всех трех курсах.
В стендфорде начальных курсов не нашел, но в более продвинутых
cs143 Compiler - с++,
CS 168: The Modern Algorithmic Toolbox - matlab и python,
CS255: Introduction to Cryptography - python,
CS106B - Programming Abstractions - с++ и т.д
В CS107 - Programming Paradigms лисп упоминается, но к студентам требование знания именно с++.