Заметил в ghci 9.4.8: > :t (<>) @((->)_) (<>) @((->)_) :: (w

Question

Заметил в ghci 9.4.8: > :t (<>) @((->)_) (<>) @((->)_) :: (w

-> (a -> b)) -> (w -> a) -> w -> b

Разве не должно (w -> (a -> b)) быть записано как (w -> a -> b)? Это баг, или тут есть некий тайный смысл?

#haskell #programming #russian

0

09.05.2024

13 ответов

62 просмотра

Михаил Автор вопроса

Danil Berestov
Это одно и то же

Вот именно, но для функций обычно скобки раскрывают с учётом правоассоциативности ->. А тут они остались. Похоже, в записи f (a -> b) -> f a -> f b просто заменили f, не смотря, есть ли в записи аргумента скобки. То есть это просто особенность реализации.

0

7 месяцев назад

Cheese Syrowiecki

Михаил
Вот именно, но для функций обычно скобки раскрываю...

в этом месте вывод типов не постарался упростить запись, но в этом нет ничего страшного

0

7 месяцев назад

Fedor

а в 9.6.5 вот так ( ghci> :t (<*>) @((->)_) <interactive>:1:1: error: Illegal visible type application ‘@((->) _)’ Perhaps you intended to use TypeApplications

0

7 месяцев назад

Михаил Автор вопроса

Cheese Syrowiecki
в этом месте вывод типов не постарался упростить з...

Ясно, что не страшно. А где в документации написано, в каких случаях он упрощает и не упрощает? Насколько понимаю, нормализованный тип в :k! посмотреть.

0

7 месяцев назад

Михаил Автор вопроса

Fedor
а в 9.6.5 вот так ( ghci> :t (<*>) @((->)_) <inte...

Написано, что у вас расширение TypeApplications не включено.

0

7 месяцев назад

Cheese Syrowiecki

Михаил
Ясно, что не страшно. А где в документации написа...

kind! дальше идёт — подставляет синонимы. а запись скобок оптимизировать — это, кажется, такой пустяк, что врядли где-то описано

0

7 месяцев назад

Fedor

Михаил
Написано, что у вас расширение TypeApplications не...

Это я видел, просто думал, что в стандарте..

0

7 месяцев назад

Cheese Syrowiecki

Fedor
Это я видел, просто думал, что в стандарте..

TypeApplications входит в стандарт GHC2021, наверно, у тебя по умолчанию другой стандарт включён

0

7 месяцев назад

Fedor

Cheese Syrowiecki
TypeApplications входит в стандарт GHC2021, наверн...

да 2010, стоит сменить ?

0

7 месяцев назад

Cheese Syrowiecki

Fedor
да 2010, стоит сменить ?

да, на GHC2021

0

7 месяцев назад

Fedor

Cheese Syrowiecki
да, на GHC2021

А вот вписать в кабал файл не получается, пока нашел только cabal init -i тогда говорят предложит.... Но странно, что нельзя поменять настройку в файле, или я опять где то туплю ?

0

7 месяцев назад

Cheese Syrowiecki

Fedor
А вот вписать в кабал файл не получается, пока наш...

https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html#pkg-field-default-language

0

7 месяцев назад

Danil Berestov · Accepted Answer

Danil Berestov

Это одно и то же

0

7 месяцев назад

169 похожих чатов

Заметил в ghci 9.4.8: > :t (<>) @((->)_) (<>) @((->)_) :: (w

13 ответов

Похожие вопросы

169 похожих чатов

Заметил в ghci 9.4.8: > :t (<*>) @((->)_) (<*>) @((->)_) :: (w

13 ответов

Похожие вопросы

Заметил в ghci 9.4.8: > :t (<>) @((->)_) (<>) @((->)_) :: (w