Функциональное и логическое программирование

🗓 2020 ⏰ 3 часа

Этот курс знакомит с основами функционального и логического программирования через изучение языков Haskell и SWI Prolog. Учащиеся погрузятся в мир алгебраических типов данных на Haskell и исследуют принципы логического программирования на примере SWI Prolog, раскрывая новые подходы к решению программистских задач.

🔹01 Введение в функциональное программирование. Язык Haskell
🔹02 Алгебраические типы данных
🔹03 Введение в логическое программирование. SWI Prolog

♦️ Смотреть курс

Бесплатные курсы IT 🔹 #haskell

Haskell для начинающих
Разбираем IO, Maybe и do-нотацию | Александр Вершилов #75

🗓 2026 ⏰ 3 часа

Курс для тех, кто хочет разобраться с работой с внешним миром в Haskell. Вы поймёте, как язык решает проблему побочных эффектов через IO, изучите Maybe, Either и do-нотацию, а также увидите связь монад с подходами в других языках.

🔹 01 Почему монады кажутся сложными
🔹 02 Проблема IO в чистом языке
🔹 03 Referential transparency и реальный мир
🔹 04 Устройство IO изнутри
🔹 05 Работа с Maybe и Either
🔹 06 Связывание вычислений
🔹 07 Практика do-нотации
🔹 08 Законы монад
🔹 09 Сравнение с Result (Rust)
🔹 10 Сравнение с async/await (JS)
🔹 11 Сравнение с обработкой ошибок (Go)
🔹 12 Порядок вычислений и ленивость
🔹 13 Пишем свою монаду
🔹 14 Promise — это монада?
🔹 15 Применение: транзакции и сеть

♦️ Смотреть курс

Бесплатные курсы IT 🔹 #Haskell #fp #algorithm