g
Size: a a a
2020 July 15
JM
Вы понимаете куррирование? @greelot
ND
функция принимающая функцию как параметр
KV
Короче, ребята помогите, чем отличается функция с типом (a -> a) -> a от типа a -> a -> a
Я конечно понимаю, что именно в этом заключён смысл ленивых вычислений, но все же, что дают здесь скобки, что они меняют в функции?
Я конечно понимаю, что именно в этом заключён смысл ленивых вычислений, но все же, что дают здесь скобки, что они меняют в функции?
Это ваще разны вещи, сильно
Певое принимает функцию и выдаёт значение, а второе принимает значение и возвращает функцию (ну или два значения и возвращает третье)
Певое принимает функцию и выдаёт значение, а второе принимает значение и возвращает функцию (ну или два значения и возвращает третье)
KV
И ленивость не при делах
g
функция принимающая функцию как параметр
Я бы не задал вопрос, если бы мне этого объяснения хватило
JM
Хорошо, расставьте скобки во втором примере.
JM
Это должно ответить на ваш вопрос!
KV
А выражение функции какое поставить для наглядности
Haskell> let one :: (String -> String) -> String; one f = f "123"
Haskell> let two :: String -> String -> String; two x y = x <> y <> "123"
Haskell> one id
"123"
Haskell> two "a" "b"
"ab123"
JM
можно кстати
one (two "a") чтобы продемонстрировать каррированиеKV
Каррирование кстати тут относится только ко второму примеру, в первом просто higher order function
JM
А зачем вообще где-то ставить скобки, если компилятор все сделает сам?
Чтобы в голове возникло понимание!