Без заголовка
В общем, да, "взрослого" понятия функций в школьном курсе не хватает. Но я же как-то пробился через это место. Кнут школьникам не нужен, как мне кажется, а Грис или Вирт вполне доступны и могут быть интересны (Дейкстра высокомерен все ж).
Ты имеешь в виду, что нужен коррекционный курс именно для жертв школьной информатики с функциями и монадами? Проверялка не должна быть проблемой, я специально смотрел вводные курсы программирования на пайтоне (Гриса-младшего на "Курсере" и Гримсона—Гуттага на "Эдэксе"), и этот вопрос как-то решен.