Course: Функциональное программирование на языке Haskell / Functional programming in Haskell

Course link: https://stepik.org/course/75 [In Russian]

Status: ✅

Index legend

• ✏️ - a link to an .hs file (code)
• 🚧 - not finished

Index

• 1. Введение / Introduction
  • ✏️ 1.1. Установка и настройка среды / Installing and configuring a developer environment
  • ✏️ 1.2. Функции / Functions
  • ✏️ 1.3. Операторы / Operators
  • ✏️ 1.4. Базовые типы / Basic types
  • ✏️ 1.5. Рекурсия / Recursion
  • ✏️ 1.6. Локальные связывания и правила отступов / Local bindings and indentation rules
• 2. Основы программирования / Basics of programming
  • ✏️ 2.1. Параметрический полиморфизм / Parametric polymorphism
  • ✏️ 2.2. Параметрический полиморфизм (2) / Parametric polymorphism (2)
  • ✏️ 2.3. Классы типов / Type classes
  • ✏️ 2.4. Стандартные классы типов / Standard type classes
  • ✏️ 2.5. Нестрогая семантика / Lax semantics
  • ✏️ 2.6. Модули и компиляция / Modules and compilation
• 3. Списки / Lists
  • ✏️ 3.1. Функции для работы со списками / Functions for working with lists
  • ✏️ 3.2. Функции высших порядков над списками / Higher-order functions on lists
  • ✏️ 3.3. Генераторы списков / List comprehension
  • ✏️ 3.4. Правая свертка) / Right fold
  • ✏️ 3.5. Левая свертка и ее сравнение с правой / Left fold and comparison with right fold
  • ✏️ 3.6. Родственные сверткам функции / Related to fold functions
• 4. Типы данных / Data types
  • ✏️ 4.1. Типы перечислений / Enumeration types
  • ✏️ 4.2. Типы произведений и сумм произведений / Product types and sum type of product types
  • ✏️ 4.3. Синтаксис записей / Record syntax
  • ✏️ 4.4. Типы с параметрами / Types with parameters
  • ✏️ 4.5. Рекурсивные типы данных / Recursive data types
  • ✏️ 4.6. Синонимы и обертки для типов / Synonyms and type wrappers
• 5. Монады / Monads
  • ✏️ 5.1. Класс типов Functor и законы для него / Functor typeclass and laws for it
  • ✏️ 5.2. Определение монады / Monad defenition
  • ✏️ 5.3. Монада Identity / Identity monad
  • ✏️ 5.4. Список и Maybe как монады / List and Maybe as monads
  • ✏️ 5.5. Монада IO / IO monad
  • ✏️ 5.6. Монада Reader / Reader monad
  • ✏️ 5.7. Монада Writer / Writer monad
  • ✏️ 5.8. Монада State / State monad

Code conduction

This project uses Gitmoji for commit messages

License

GPLv3+