https://github.com/s373r/course-haskell-stepic-functional-programming
λ "Functional programming in Haskell" course materials
https://github.com/s373r/course-haskell-stepic-functional-programming
course education gplv3 haskell stepic
Last synced: 9 months ago
JSON representation
λ "Functional programming in Haskell" course materials
- Host: GitHub
- URL: https://github.com/s373r/course-haskell-stepic-functional-programming
- Owner: s373r
- License: gpl-3.0
- Created: 2021-11-17T20:52:57.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2022-01-10T16:06:03.000Z (about 4 years ago)
- Last Synced: 2025-03-29T21:32:16.224Z (10 months ago)
- Topics: course, education, gplv3, haskell, stepic
- Language: Haskell
- Homepage:
- Size: 99.6 KB
- Stars: 5
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# 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. Установка и настройка среды](1_1_installing_and_configuring_a_developer_environment/Main.hs) / `Installing and configuring a developer environment`
- [✏️ 1.2. Функции](1_2_functions/Main.hs) / `Functions`
- [✏️ 1.3. Операторы](1_3_operators/Main.hs) / `Operators`
- [✏️ 1.4. Базовые типы](1_4_basic_types/Main.hs) / `Basic types`
- [✏️ 1.5. Рекурсия](1_5_recursion/Main.hs) / `Recursion`
- [✏️ 1.6. Локальные связывания и правила отступов](1_6_local_bindings_and_indentation_rules/Main.hs) / `Local bindings and indentation rules`
- **2. Основы программирования** / `Basics of programming`
- [✏️ 2.1. Параметрический полиморфизм](2_1_parametric_polymorphism/Main.hs) / `Parametric polymorphism`
- [✏️ 2.2. Параметрический полиморфизм (2)](2_2_parametric_polymorphism_2/Main.hs) / `Parametric polymorphism (2)`
- [✏️ 2.3. Классы типов](2_3_type_classes/Main.hs) / `Type classes`
- [✏️ 2.4. Стандартные классы типов](2_4_standard_type_classes/Main.hs) / `Standard type classes`
- [✏️ 2.5. Нестрогая семантика](2_5_lax_semantics/Main.hs) / `Lax semantics`
- [✏️ 2.6. Модули и компиляция](2_6_modules-and_compilation/Main.hs) / `Modules and compilation`
- **3. Списки** / `Lists`
- [✏️ 3.1. Функции для работы со списками](3_1_functions_for_working_with_lists/Main.hs) / `Functions for working with lists`
- [✏️ 3.2. Функции высших порядков над списками](3_2_higher-order_functions_on_lists/Main.hs) / `Higher-order functions on lists`
- [✏️ 3.3. Генераторы списков](3_3_list_comprehension/Main.hs) / `List comprehension`
- [✏️ 3.4. Правая свертка](3_4_right_fold/Main.hs)) / `Right fold`
- [✏️ 3.5. Левая свертка и ее сравнение с правой](3_5_left_fold_and_comparison_with_right_fold/Main.hs) / `Left fold and comparison with right fold`
- [✏️ 3.6. Родственные сверткам функции]() / `Related to fold functions`
- **4. Типы данных** / `Data types`
- [✏️ 4.1. Типы перечислений](4_1_enumeration_types/Main.hs) / `Enumeration types`
- [✏️ 4.2. Типы произведений и сумм произведений](4_2_product_types_and_sum_type_of_product_types/Main.hs) / `Product types and sum type of product types`
- [✏️ 4.3. Синтаксис записей](4_3_record_syntax/Main.hs) / `Record syntax`
- [✏️ 4.4. Типы с параметрами](4_4_types_with_parameters/Main.hs) / `Types with parameters`
- [✏️ 4.5. Рекурсивные типы данных](4_5_recursive_data_types/Main.hs) / `Recursive data types`
- [✏️ 4.6. Синонимы и обертки для типов](4_6_synonyms_and_type_wrappers/Main.hs) / `Synonyms and type wrappers`
- **5. Монады** / `Monads`
- [✏️ 5.1. Класс типов Functor и законы для него](5_1_functor_typeclass_and_laws_for_it/Main.hs) / `Functor typeclass and laws for it`
- [✏️ 5.2. Определение монады](5_2_monad_defenition/Main.hs) / `Monad defenition`
- [✏️ 5.3. Монада Identity](5_3_identity_monad/Main.hs) / `Identity monad`
- [✏️ 5.4. Список и Maybe как монады](5_4_list_and_maybe_as_monads/Main.hs) / `List and Maybe as monads`
- [✏️ 5.5. Монада IO](5_5_IO_monad/Main.hs) / `IO monad`
- [✏️ 5.6. Монада Reader](5_6_reader_monad/Main.hs) / `Reader monad`
- [✏️ 5.7. Монада Writer](5_7_writer_monad/Main.hs) / `Writer monad`
- [✏️ 5.8. Монада State](5_8_state_monad/Main.hs) / `State monad`
## Code conduction
This project uses [Gitmoji](https://gitmoji.carloscuesta.me) for commit messages
## License
[GPLv3+](LICENSE)