ЗП
Сигнатуры часто лучше писать
TDD)
type Robot = forall a. ((String, Integer, Integer) -> a) -> aSize: a a a
2021 March 22
ЗП
у меня эта задача решилась с помощью
так это чисто элиминатор) как раз Черч вариант
JS
так это чисто элиминатор) как раз Черч вариант
или кодата?
YS
типа того)
ЗП
или кодата?
не тут именно явно черч, или же cont
JS
говорят, через кодату отлично выражается ООП. наверно, это как раз тот случай
ЗП
говорят, через кодату отлично выражается ООП. наверно, это как раз тот случай
ибо ООП объект это infinity coalgebraic construction
E
хорошо, если я все же переформулирую вопрос
E
Меня сейчас не так волнуют сигнатуры, это все таки Start
YS
Ну, сигнатуры это не то что бы что-то за рамками старта
YS
Вот прям совсем
E
Меня волнует почему вот это вот не компилируется
fightOneRound robotA robotB = (robotA', robotB')
where robotA' = fight robotA robotB
robotB' = fight robotB robotA
fightOneRound robotA robotB = (robotA', robotB')
where robotA' = fight robotA robotB
robotB' = fight robotB robotA
E
выглядит не сложно, анализу мозгом[моим] не поддается
JS
Меня волнует почему вот это вот не компилируется
fightOneRound robotA robotB = (robotA', robotB')
where robotA' = fight robotA robotB
robotB' = fight robotB robotA
fightOneRound robotA robotB = (robotA', robotB')
where robotA' = fight robotA robotB
robotB' = fight robotB robotA
потому что без явных сигнатур 2 ранга компилятор пытается вывести типы 1 ранга, и это не получается
E
получается ли что не существует способа решить задачу без явных сигнатур?
JS
несуществование сложно доказать
JS
но лично мне проще дописать сигнатуру 2 ранга, чем искать решение без них
JS
Меня волнует почему вот это вот не компилируется
fightOneRound robotA robotB = (robotA', robotB')
where robotA' = fight robotA robotB
robotB' = fight robotB robotA
fightOneRound robotA robotB = (robotA', robotB')
where robotA' = fight robotA robotB
robotB' = fight robotB robotA
а в книжке разве есть такое задание?
E
ну там даже хуже
E
