This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
courses:functional_programming:practice [2018/09/24 19:16] vnikolenko added problems 2 |
courses:functional_programming:practice [2022/12/10 09:08] (current) |
||
---|---|---|---|
Line 10: | Line 10: | ||
- Подстановка, комбинаторы, логические значения, нумералы Чёрча \\ Дедлайн <color #ed1c24>20.09.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_1.pdf |Задание}} \\ {{ :courses:functional_programming:2018_fp_hw_1.zip |Исходник(LaTeX)}} | - Подстановка, комбинаторы, логические значения, нумералы Чёрча \\ Дедлайн <color #ed1c24>20.09.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_1.pdf |Задание}} \\ {{ :courses:functional_programming:2018_fp_hw_1.zip |Исходник(LaTeX)}} | ||
- Нумералы Чёрча, списки, комбинаторы неподвижной точки, редукционные графы, нормальные формы(NF,HNF,WHNF) \\ Дедлайн <color #ed1c24>04.10.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_2.pdf |Задание}} \\ {{ :courses:functional_programming:2018_fp_hw_2.zip |Исходник(LaTeX)}} | - Нумералы Чёрча, списки, комбинаторы неподвижной точки, редукционные графы, нормальные формы(NF,HNF,WHNF) \\ Дедлайн <color #ed1c24>04.10.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_2.pdf |Задание}} \\ {{ :courses:functional_programming:2018_fp_hw_2.zip |Исходник(LaTeX)}} | ||
- | + | - Простое типизированное λ-исчисление (λ→) \\ Дедлайн <color #ed1c24>18.10.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_3.pdf |Задание}} \\ {{ :courses:functional_programming:2018_fp_hw_3.zip |Исходник(LaTeX)}} | |
==== Haskell ==== | ==== Haskell ==== | ||
+ | - Введение в язык \\ Дедлайн <color #ed1c24>01.11.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_4.pdf |Задание}} | ||
+ | - Списки, ADT, typeclasses, fold*, Semigroup, Monoid, Foldable \\ Дедлайн <color #ed1c24>30.11.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_5.pdf |Задание}} | ||
+ |