YS
Что хочется выразить такой сигнатурой?
Size: a a a
2021 March 22
E
верно
E
сейчас
E
в книжке используется пример с роботами, где для имитации ООП используются замыкания
E
robot (name, attack, hp) = \message -> message (name, attack, hp)E
я выразил тип таким образом:
robot :: (String, Int, Int) -> ((String, Int, Int) -> a) -> aE
но мне подумалось, что было бы хорошо вот эту часть
((String, Int, Int) -> a) -> a оформить в виде синонимаYS
тут это не выйдет, кажется
IK
Можно сделать
Robot aIK
Без дополнительных расширений красивее не получится
YS
Так как хочется - будет полиморфизм второго порядка
YS
А это не то, что хочется
E
меня сильно смущает, то что книгой подразумевается, что я решу задачу зная о типах еще меньше чем знаю сейчас
YS
robot :: forall a . (String, Int, Int) -> ((String, Int, Int) -> a) -> a
вот так оно выглядит, если явно forall сделатьJS
о, это прекрасная книжка. красивый пример, но когда начинаешь сигнатуры писать, черти вылезают
E
setName aRobot newName = aRobot (\(_, a, h) -> robot (newName, a, h))E
вот тут начинаются черти
JS
да, там RankNTypes придётся включать
YS
можно сделать алиас для
(String, Int, Int)YS
Уже будет не так страшно