WB
В аннотациях типа нет операторов
Size: a a a
2021 April 08
O
хотя наверно конструктор лямбд так не выразить, там ещё \ нужен перед параметром
И
sum :: Int -> Int -> Int тут стрелка это оператор или конструктор типа?
WB
типа как [ ] для списка
O
как это нет? любые нецифробуквенные функции являются операторами и инфиксны, в частности (->)
DB
Можете считать что (->) это конструктор типа, да)
WB
Пример такой аннотации типа есть?
O
подозреваю, что у нас путаница в терминологии
DB
Data.Complex
И
с этим уже смирился, но все еще не очень понятно про правую ассоциативность
DB
А, конкрето тип нужен. Ну тогда Servant глядите, там акого куча
И
то есть почему необходимо вначале сконструировать тип (int -> int)
DB
а че именно непонятно?
O
так а что непонятно, здесь правая ассоциативность естественно возникает для лямбд, оттуда она и у их типов
И
и только потом int -> (int -> int)
WB
Если бы было левоассоциативно, было бы очень не удобно
O
а как ещё?
WB
Также как и если бы применение было бы правоассоциативно
WB
Скорее по историческим причинам и в целях удобства
O
можно делать применение справа налево, как у типов в МЛ