лямбды как лямбды или как объекты с полиморфным методом
Я вчера пытался грокнуть каким образом рекурсивные схемы это подводка к ТФ
насколько я помню, там нужно использовать типы разных "degree", что в хаскелёвом переводе type order это значит, что нам нужно было бы вводить по новому типу для каждой новой "формы" типа, что не вписывается в идею энкодинга через заданный набор правил
Обсуждают сегодня