ND
не принимается
Size: a a a
2020 July 15
KV
Я все равно нихрена не понял, зачем нужны скобки и каррирование. Что без скобок, что со скобками, разве все не одно и тоже?
Без каррирования пришлось бы писать с туплями
(String, String) -> String вместо String -> String -> StringJM
Всюду всегда принимается один аргумент.
KV
В типе a -> (a -> a) тоже два аргумента принимается
Это то же, что
Но
a -> a -> a. Действительно, можно не ставить скобкиНо
(a -> a) -> a уже другой тип, там надоg
не принимается
А как функция тогда выполняется с предыдущим аргументом, если один только аргумент принимается
JM
Вернув функцию.
ND
функция возвращает другую функцию
KV
А как функция тогда выполняется с предыдущим аргументом, если один только аргумент принимается
Постепенно:
Haskell> :t (++)
(++) :: [a] -> [a] -> [a]
Haskell> :t (++) []
(++) [] :: [a] -> [a]
Haskell> :t (++) [] []
(++) [] [] :: [a]
g
функция возвращает другую функцию
Функция что равна аргументу?
ND
что и что?
ND
в хаскелле всегда один аргумент
KV
Функция что равна аргументу?
Принимается первый аргумент, возвращается новая функция
В эту новую функцию скармливается новый аргумент
И так далее пока не останется просто значение
В эту новую функцию скармливается новый аргумент
И так далее пока не останется просто значение
ND
проще почитать что-нибудь про каррирование и partial application, кмк
g
Принимается первый аргумент, возвращается новая функция
В эту новую функцию скармливается новый аргумент
И так далее пока не останется просто значение
В эту новую функцию скармливается новый аргумент
И так далее пока не останется просто значение
Что-то начинает пониматься, но не все
JM
@greelot я очень рекомендую уменьшить гонор, установить на компьютер GHC, взять книгу и эксперементировать с примерами пока идёте по книге. В таком порядке.
И решать упражнения пока не решите.
И решать упражнения пока не решите.