[
А
Т.е.
_::Int -> Int
Это одна дырка, а
sqrt:: Num a => a => a
sqrt = _a
Другая? Или я путаю?
Т.е.
_::Int -> Int
Это одна дырка, а
sqrt:: Num a => a => a
sqrt = _a
Другая? Или я путаю?
А есть ещё
Maybe _Size: a a a
2021 March 21
MK
Это всё одна
А есть ещё
А есть ещё
[
Понял
AA
как нельзя?
AA
а ну получается что в типодырках так нельзя, только в термах
как нельзя-то?
MK
Никак нельзя
MK
Запрещено
MK
Немедленно прекратите
[
Немедленно прекратите
А ты заставь
DG
как нельзя?
Коли зашёл вопрос про можно и нельзя)
А можно как-нибудь попросить ghc, чтобы в сообщении о типе дырки использовались такие же переменные типа, как в заданном типе функции?
Например:
И чтобы сообщение начиналось с "Found type wildcard ‘_’ standing for ‘c’"
?
А можно как-нибудь попросить ghc, чтобы в сообщении о типе дырки использовались такие же переменные типа, как в заданном типе функции?
Например:
:t (.) (.) :: (a1 -> b -> c) -> a1 -> (a2 -> b) -> a2 -> _Выдаёт:
• Found type wildcard ‘_’ standing for ‘c1’Можно ли сделать так, чтобы <expression> стало равно "(a1 -> b -> c) -> a1 -> (a2 -> b) -> a2 -> с"
Where: ‘c1’ is a rigid type variable bound by
the inferred type of
<expression> :: (a4 -> b1 -> c1) -> a4 -> (a5 -> b1) -> a5 -> c1
...
И чтобы сообщение начиналось с "Found type wildcard ‘_’ standing for ‘c’"
?
AA
нет
AA
это не настоящие имена же, а просто способ задать структуру такой
AA
так кто-нибудь понял че там нельзя-то было? мне интересно же
MK
А что, кана тебя игнорит?
AA
не знаю, может просто делами какими-то занялся наконец
AA
если речь про именование дырок в типах, то это можно, но для этого (почему-то?) надо включать NamedWildCards
MK
А не PartialTypeSignatures?
AA
это для того чтоб пускать код с типодырками можно было, а не просто интересные ошибки смотреть
[
что надо добавить в package.yaml, чтобы это заработало? Потому что самый тупой (очевидный) вариант не сработал, а на hackage чёт не написано как это исправлять