к
в символе?
Size: a a a
2018 February 27
к
полагаю я, wildcard нужен чисто для разработченских целей, чтобы быстро вывести тип и переписать его, поэтому и ворнинг (иначе и забыть можно, и менее удобно тип искать)
Вл
не, там бывают и вполне легальные вайлдкарды
Вл
чтобы лямбду лишний раз не писать
Вл
но здесь не тот случай
Вл
алсо само слово с рекордами ассоциируется
VY
а в чем разница?
просто дыра это вроде как подсказка от компилятора, что тут ожидается такой-то тип (и соотв ошибка), а вайлдкард это просто возможность тип не писать (в некторых случаях)
к
алсо само слово с рекордами ассоциируется
с моим любимым расширением - RecordWildCards
AP
был же вроде бэкэнд к пурсе на с++11. с ГЦ на shared_ptr
Он вроде и был то полудохлый, как там сеёчас дела, я не знаю :)
Вл
не настолько интенсивно пользуюсь рекордами
Вл
просто дыра это вроде как подсказка от компилятора, что тут ожидается такой-то тип (и соотв ошибка), а вайлдкард это просто возможность тип не писать (в некторых случаях)
можно аргументы скипать. а скипать аргумент типа - как-то странно. ты уверен что так работает?
Aq
в хаскеле дыра тоже ворнинг (или ошибку даже) оставляет
там в зависимости от всяких настроек - ошибка, ворнинг, все ок
Вл
тебе типа лень forall a написать?
AP
"wildcard ассоциируется с рекордами" странное
Aq
у меня так же
λO
там в зависимости от всяких настроек - ошибка, ворнинг, все ок
ой я помню народ ныл про "Пропал хаскель! Будут конпелять в прод с ошибками!"
Вл
"wildcard ассоциируется с рекордами" странное
ну тип в других контекстах не встречаю это слово
VY
тебе типа лень forall a написать?
так просто не будет работать
ну там фишка с пропущенными типами в том, что в некоторых случаях их можно вывести, но это относится больше к PartialTypeSignatures
тоже ли это самое, что и вайлдкарты в пурсе я пока не понял)
думаю что нет
ну там фишка с пропущенными типами в том, что в некоторых случаях их можно вывести, но это относится больше к PartialTypeSignatures
foo :: _ -> Bool
foo x = not x
-- Inferred: Bool -> Bool
тоже ли это самое, что и вайлдкарты в пурсе я пока не понял)
думаю что нет
λO
ой я помню народ ныл про "Пропал хаскель! Будут конпелять в прод с ошибками!"
-fdefer-type-errors или как-то так
Aq
ой я помню народ ныл про "Пропал хаскель! Будут конпелять в прод с ошибками!"
так по любому поводу ноют