JS
функции — тоже значения, кстати (конечно, это первое, что человек узнаёт о Хаскеле, но на всякий случай)
Size: a a a
2021 March 17
AY
Это оно потом станет значением, но чтобы стать им оно зависит от toStdout
D
функции — тоже значения, кстати (конечно, это первое, что человек узнаёт о Хаскеле, но на всякий случай)
не всегда, и не сразу это становится очевидно
JS
Andrei Yangabishev
Это оно потом станет значением, но чтобы стать им оно зависит от toStdout
фактически да, формально нет
выше предлагали переписать через if-then-else. в таком виде оно будет зависеть?
выше предлагали переписать через if-then-else. в таком виде оно будет зависеть?
D
вроде и ясно, а потом как на новые ворота смотришь
JS
не всегда, и не сразу это становится очевидно
контрпример?
JS
вы к тому, что функции не данные, а коданные?
D
контрпример?
да просто думал изначально что функции это процедуры, и синтаксис типов отвлекал
первое что я узнал это то, что скобки не нужны
первое что я узнал это то, что скобки не нужны
JS
ну, я про то, что первое, что известно о Хаскеле, — это что он "функциональный". а что это значит? что функции — это обычные значения.
JS
да просто думал изначально что функции это процедуры, и синтаксис типов отвлекал
первое что я узнал это то, что скобки не нужны
первое что я узнал это то, что скобки не нужны
у нас стрелочка в типе нужна, чтобы была функция. то есть тоже есть визуальное отличие. где у них скобки — признак функции, у нас — стрелка
D
у нас стрелочка в типе нужна, чтобы была функция. то есть тоже есть визуальное отличие. где у них скобки — признак функции, у нас — стрелка
автокарринг ещё вначале смущал
YS
автокарринг кмк это если бы хаскель насильно из
(a,b) -> c делал a -> b -> cк
да, в хаскеле нет автокарринга, все вручную просто пишут сразу каррированные функции, потому что синтаксис для этого удобный
D
In Haskell, all functions are considered curried: That is, all functions in Haskell take just one argument.
я это имел в виду
я это имел в виду
D
>f :: a -> (b -> c) == f :: a -> b -> c
D
кому-то может показаться очевидно, конечно
D
меня сбивало с толку
JS
да, дефолт-карринг
JS
или по-русски — шейнфинкелинг по умолчанию
A
Andrei Yangabishev
А я долго понять эту конструкцию не мог
вот это
И еще. Есть в Хаскеле система именования констант? А то смотрю в код, вижу MyApp.appConfig, а то что это константа изначально не видно
и приходится ходить за каждым определением.
case targets of
Right (target, toStdout) -> do
let
options
| toStdout = ParseOptions NoVerbose Force toStdout file
| otherwise = ParseOptions verbose force toStdout file
вот это
options вроде как значение и вроде функция. Еще где-то встречал в where или let функцию с паттернами, т.е. одно и тоже имя функции упоминается несколько раз, но написано было так что долго вкуривал.И еще. Есть в Хаскеле система именования констант? А то смотрю в код, вижу MyApp.appConfig, а то что это константа изначально не видно
appConfig :: FilePath
appConfig = "config.yaml"и приходится ходить за каждым определением.
А это разве не multi way if расширение? Чтобы вместо if писать через гварды