E
можно, но он довольно слабо увеличивает читаемость
Size: a a a
2021 March 22
E
ну немного увеличивает
YS
Ну тут мало что увеличит читаемость
YS
Упростить проще простого сложно
YS
Кмк
E
@cblp_su если вам знакома книжка и пример, то может быть вы знаете что не так c вот этим вот:
fightOneRound robotA robotB = (robotA', robotB') where robotA' = fight robotA robotB robotB' = fight robotB robotAE
т.к. если бы не задание написать подобную функцию, я бы не полез в сигнатуры
JS
E
я изначально не писал сигнатуры и получал довольно объемное полотно ошибок
YS
Сигнатуры часто лучше писать
YS
Кмк
YS
Чем не писать
YS
По крайней мере - на топлевеле
E
Occurs check: cannot construct the infinite type и много всякогоJS
robot :: forall a . (String, Int, Int) -> ((String, Int, Int) -> a) -> a
вот так оно выглядит, если явно forall сделатьвот для этого сделать синоним, и будет норм
YS
вот для этого сделать синоним, и будет норм
Ну да
YS
Но это не то, что хотел вопрошающий)
YS
Как мне показалось
JS
с forall внутри синонима — это как раз то, с чего начался вопрос
JS
у меня эта задача решилась с помощью
type Robot = forall a. ((String, Integer, Integer) -> a) -> a