к
ну тип в других контекстах не встречаю это слово
регэкспы?
Size: a a a
2018 February 27
Aq
-fdefer-type-errors или как-то так
но тут речь про дыры в сигнатурах же, а не про дыры в значениях
Вл
ну тип в других контекстах не встречаю это слово
а словари не смотрю тк мне сказали что англ можно выучить если читать/слушать англ и прочее. короче у меня теперь свой англ
λO
но тут речь про дыры в сигнатурах же, а не про дыры в значениях
попутал
Вл
регэкспы?
ну литературу по регэкспам никто же не читает. просто ищешь нужную штуку
к
ну изначально же нужно было их как-то освоить чтобы читать, там слово wildcard наверняка можно было встретить
Вл
наверняка
Вл
там больше всего про автоматы было
Вл
прям даже вселяло веру что вот ща автоматы освою и буду регэкспы ебашить
AP
/me слово "wildcard" первый раз встретил в главе про маски файлов в книжке про MS-DOS году эдак в 92
λO
а wildcard значит "козырь"?
λO
козырные образцы
AP
"Бьют любую карту"
Вл
а wildcard значит "козырь"?
вау
Вл
неплохая интуиция
VY
так просто не будет работать
ну там фишка с пропущенными типами в том, что в некоторых случаях их можно вывести, но это относится больше к PartialTypeSignatures
тоже ли это самое, что и вайлдкарты в пурсе я пока не понял)
думаю что нет
ну там фишка с пропущенными типами в том, что в некоторых случаях их можно вывести, но это относится больше к PartialTypeSignatures
foo :: _ -> Bool
foo x = not x
-- Inferred: Bool -> Bool
тоже ли это самое, что и вайлдкарты в пурсе я пока не понял)
думаю что нет
мб вайлдкарты в типах пурсы это нечто подобное extential types в хаскеле? типа так можно гетерогенные рекорды получать
но это странно, можно же просто
но это странно, можно же просто
forall r. { first :: String, last :: String | r }Вл
да это жёстко было бы
к
мб вайлдкарты в типах пурсы это нечто подобное extential types в хаскеле? типа так можно гетерогенные рекорды получать
но это странно, можно же просто
но это странно, можно же просто
forall r. { first :: String, last :: String | r }не, ты че, каким боком