120
правок
Изменения
м
* Натуральные числа (тип, арифметические операции, вроде всё).* Рациональные числа (вроде тоже только тип и арифметические операции).* Возможно, в каких-то вариантах просят целые числа, но у меня оба раза было так. В эти заданиях можно использовать Bool, и требуется, чтобы представление каждого числа было единственным.* Какой-нибудь gcd.* Какой-нибудь метод Ньютона.* Какие-нибудь subsequences или permutations.* Дают тип какого-нибудь foldr и просят написать какой-нибудь foldr.* Написать определения каких-нибудь тайпклассов.* Написать какие-нибудь инстансы.* Доказать эквивалетность каких-нибудь двух определений монады.* CPS-преобразовать какие-нибудь типы.* Написать монадные инстансы для CPS-преобразованных типов. ===ITMOPrelude===
→Кр3
=Кр3=
#gromakovsky
#* [https://github.com/gromakovsky/haskell-course-ru/blob/master/ITMOPrelude/Primitive.hs Primitive.hs]
#* [https://github.com/itanf/ITMO-Training-FunctionalProgramming/blob/master/ITMOPrelude/Primitive.hs Primitive.hs]
#* [https://github.com/itanf/ITMO-Training-FunctionalProgramming/blob/master/ITMOPrelude/List.hs List.hs]
==Натуральные числа==
==Целые числа==
==Рациональные числа==
==GCD==
==Метод Ньютона==
==subsequences==
==permutations==
* Дают тип какого-нибудь foldr и просят написать какой-нибудь foldr.
* Написать определения каких-нибудь тайпклассов.
* Написать какие-нибудь инстансы.
* Доказать эквивалетность каких-нибудь двух определений монады.
* CPS-преобразовать какие-нибудь типы.
* Написать монадные инстансы для CPS-преобразованных типов.
=Кр4=
