История изменений
Исправление hateyoufeel, (текущая версия) :
Он позволяет определить структуру с полями разных типов, но не позволяет на этой структуре использовать некоторые алгоритмы списка.
Чо?
Что я и писал выше: типы надо ограничивать теми, что доступны в Хаскеле.
Я всё ещё не понимаю значения этой фразы.
Тут получается, что может быть Cons 42 (Left End) и Cons 42 (Right End). Что значит второе — непонятно.
Если тебе непонятно, то зачем ты это написал?
В итоге всё-таки получилось:
Поздравляю. Ты… изобрёл примитивную реализацию HList!
Исходная версия hateyoufeel, :
Он позволяет определить структуру с полями разных типов, но не позволяет на этой структуре использовать некоторые алгоритмы списка.
Чо?
Что я и писал выше: типы надо ограничивать теми, что доступны в Хаскеле.
Я всё ещё не понимаю значения этой фразы.
Тут получается, что может быть Cons 42 (Left End) и Cons 42 (Right End). Что значит второе — непонятно.
Если тебе непонятно, то зачем ты это написал?