Differences

This shows you the differences between two versions of the page.

--- courses:functional_programming:practice [2018/09/10 22:23]
vnikolenko first task
+++ courses:functional_programming:practice [2018/11/20 19:29]
vnikolenko added problems 5
@@ Line 9: / Line 9: @@
 ==== λ-исчисление и типы ====
   - Подстановка, комбинаторы, логические значения, нумералы Чёрча \\ Дедлайн <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)}}
+  - Простое типизированное λ-исчисление (λ→) \\ Дедлайн <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 ====
+  - Введение в язык \\ Дедлайн <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 |Задание}}

se.moevm.info

User Tools

Site Tools

Differences

Page Tools