Без заголовка

Я не стал писать, но есть несколько западных современных проектов, в которых изучается функциональное программирование — самый успешный тут идёт не по линии computer science, а по линии изучения алгебры. И даже специальный язык для обучения — https://pyret.org/index.html