вышке читали? @bravit111
Этот курс рассчитан на людей, которые уже знакомы с ФП, и, в частности, с Хаскеллем. А курс в Вышке, соответственно, рассчитан на студентов, которые знают императивные языки, но при этом им надо объяснять самые азы ФП - начиная от того, что такое чистые функции, и заканчивая тем, что такое функторы, монады и т.д. Т.е. этот курс он хардкорно про Идрис, а тот, который в Вышке - больше вводный в тему ФП на примере Идриса. И тот, и другой хороши для своей аудитории.
Сложно сравнивать, там процентов 80 одно и то же. Остальное не очень существенно.
Обсуждают сегодня