VL
но на удивление с фичами +- модерновых япов
Что запомнилось?
Size: a a a
2021 January 13
¥
Что запомнилось?
ну во первых можно аргументам значения по имени передавать
можно дефолтные параметры аргументам задавать
там ещё три режима параметров
можно задать переменной тип интегер с определенными рамками и значение этой переменной никогда за них не выйдут
ещё тут можно сделать, чтоб тайпалиас был именно алиасом, а можно, чтоб прям новым типом
можно дефолтные параметры аргументам задавать
там ещё три режима параметров
можно задать переменной тип интегер с определенными рамками и значение этой переменной никогда за них не выйдут
ещё тут можно сделать, чтоб тайпалиас был именно алиасом, а можно, чтоб прям новым типом
¥
но это только то, что я уже успел увидеть
¥
а, ещё дженерики есть
Aß
но все это супервербозно
Aß
кто-нибудь знает как деструктурить рекорды елисповые?
LL
Лучше вербозно и однозначно, чем кратко и контекстозависимо
T
Лучше вербозно и однозначно, чем кратко и контекстозависимо
+
VL
A ß
кто-нибудь знает как деструктурить рекорды елисповые?
Pcase
VL
ну во первых можно аргументам значения по имени передавать
можно дефолтные параметры аргументам задавать
там ещё три режима параметров
можно задать переменной тип интегер с определенными рамками и значение этой переменной никогда за них не выйдут
ещё тут можно сделать, чтоб тайпалиас был именно алиасом, а можно, чтоб прям новым типом
можно дефолтные параметры аргументам задавать
там ещё три режима параметров
можно задать переменной тип интегер с определенными рамками и значение этой переменной никогда за них не выйдут
ещё тут можно сделать, чтоб тайпалиас был именно алиасом, а можно, чтоб прям новым типом
Эх, все уже придумано до нас
Aß
кайф
Aß
а то я уже ринулся делать самостоятельно
A
Лучше вербозно и однозначно, чем кратко и контекстозависимо
скажи это хашкельной поинтфри нотации!
LL
Хашкель это отдельный разговор
LL
С его ~=—~->>~>
A
ну это уже детали. Я вон сам уже пошел кое-где локально переобъявлять всякие стрелочки для того, чтобы локально же иметь более легкий синтаксис
A
но я именно про всякое
main = getContents >>= solve
solve = putStrLn . doMyStuff . maybe (error . ("failed to parse"<>) . show) . parse myParser ""
LL
Так это оно и есть, не?
A
мэйн ладно, тут solve "универсальный" и реально зависит только от doMyStuff (типа чо-угодно -> String) и myParser (типа парсер в чо-угодно)