E
победителя вместо кортежа я тоже пробовал если что
Size: a a a
2021 March 22
E
ну и разумеется это мое предположение, что ожидается решение без сигнатур
JS
хм, там ещё хуже
• Illegal polymorphic type:
forall a. ((String, Integer, Integer) -> a) -> a
GHC doesn't yet support impredicative polymorphism
• In the expansion of type synonym ‘Robot’
In the type signature:
fightOneRound :: Robot -> Robot -> (Robot, Robot)E
можно переходить к следующей главе?)
E
хотя хотелось бы все же решить
JS
победителя вместо кортежа я тоже пробовал если что
а вот это как раз можно
E
с помощью сигнатур 2 ранга?
ЗП
но лично мне проще дописать сигнатуру 2 ранга, чем искать решение без них
ибо все что более-менее абстрактно так или иначе приходит к Черч кодировке
JS
с помощью сигнатур 2 ранга?
без сигнатур. кажется. хотя у меня сейчас не получается воспроизвести. советую решить задачу с типами 2 ранга. это совсем не сложно и не страшно
ЗП
хм, там ещё хуже
• Illegal polymorphic type:
forall a. ((String, Integer, Integer) -> a) -> a
GHC doesn't yet support impredicative polymorphism
• In the expansion of type synonym ‘Robot’
In the type signature:
fightOneRound :: Robot -> Robot -> (Robot, Robot)тут newtype надо
E
итак мне нужно включить RankNTypes и ExplicitForall, верно?
JS
всего лишь
type Robot = forall a. ((String, Integer, Integer) -> a) -> a
fightOneRound :: Robot -> Robot -> StringJS
итак мне нужно включить RankNTypes и ExplicitForall, верно?
только первое
JS
тут newtype надо
если не возвращать Robot, то не надо
IK
Ещё возможно дело в слишком новой версии компилятора. Недавно немного изменили вывод полиморфных типов.
E
8.10.3
ЗП
а что это за задача про роботов?
E
а что это за задача про роботов?
Уилл Курт, Программируй на Haskell, конец первого модуля
E
Я скидывал ссылку на pastebin немного ранее
IK
8.10.3
