120
правок
Изменения
м
→Кр3
=Кр3=
* Натуральные числа (тип, арифметические операции, вроде всё).
* Рациональные числа (вроде тоже только тип и арифметические операции).
* Возможно, в каких-то вариантах просят целые числа, но у меня оба раза было так. В эти заданиях можно использовать Bool, и требуется, чтобы представление каждого числа было единственным.
* Какой-нибудь gcd.
* Какой-нибудь метод Ньютона.
* Какие-нибудь subsequences или permutations.
* Дают тип какого-нибудь foldr и просят написать какой-нибудь foldr.
* Написать определения каких-нибудь тайпклассов.
* Написать какие-нибудь инстансы.
* Доказать эквивалетность каких-нибудь двух определений монады.
* CPS-преобразовать какие-нибудь типы.
* Написать монадные инстансы для CPS-преобразованных типов.
==ITMOPrelude==
#gromakovsky
