• Haskell ненужный_пост typefun не выводятся результаты семейства классов? вылезают бесконечные типы? а ничего развернем стек в typelevel список стеков, и будем бегать по нему, не углубляясь в сравнение типа и тем самым не создавая бесконечные типы и вместо этого проходясь по списку. (type mastery + 2 пикаолега)

Replies (6)