DG
если знаком другой язык какой-нибудь, то я могу показать похожий такой же ленивый код на другом языке
На Verliog? :)
(проститя)
(проститя)
y в скобках после функции и откуда g появляетсяf(x)(y) = x + y
f(x) = g
g(y) = x + y
Size: a a a
2021 February 20
12
разбираюсь с каррированием, не могу разобраться что значит
f(x)(y) = x + y
f(x) = g
g(y) = x + y
f(x)(y) = x + y
f(x) = g
g(y) = x + y
12
даже вопрос толком не могу сформулировать
12
ХГ
разбираюсь с каррированием, не могу разобраться что значит
f(x)(y) = x + y
f(x) = g
g(y) = x + y
y в скобках после функции и откуда g появляетсяf(x)(y) = x + y
f(x) = g
g(y) = x + y
Это довольно простая идея, которая в американском стиле завёрнута в помпезную форму. Возьмите функцию типа sin x + cos y. Теперь скормите ей х, чтобы слева константа получилась.
ХГ
Всё, получаем функцию одной переменной.
12
f(x)(y) = f(x) + f(y)?
ХГ
Не-не.
AP
А что это за ресурс? Из-за странных скобок и того что путают кадрирование и частичное применение, кажется, что это плохой ресурс.
AP
Для объяснения таких вещей LYAH книга хорошо подходит
12
А что это за ресурс? Из-за странных скобок и того что путают кадрирование и частичное применение, кажется, что это плохой ресурс.
это книжка по функциональному котлину (чередую его и хаскель, так проще понимается), дальше там про каррирование с невероятным примером, который только дальше все путает
ХГ
f(x)(y) = f(x) + f(y)?
Давайте в такой нотации:
f(x,y) = sin x + cos x.
Дальше фиксируем х, и записываем так:
f(x,y)|x=0 = sin 0 + cos x.
f(x,y) = sin x + cos x.
Дальше фиксируем х, и записываем так:
f(x,y)|x=0 = sin 0 + cos x.
ХГ
Но х=0 спустите в нижний индекс.
12
А что это за ресурс? Из-за странных скобок и того что путают кадрирование и частичное применение, кажется, что это плохой ресурс.
вот, если интересно
12
Давайте в такой нотации:
f(x,y) = sin x + cos x.
Дальше фиксируем х, и записываем так:
f(x,y)|x=0 = sin 0 + cos x.
f(x,y) = sin x + cos x.
Дальше фиксируем х, и записываем так:
f(x,y)|x=0 = sin 0 + cos x.
да, так понятнее намного
AP
Про Котлин я не знаю, может там такие скобки нужны, но в Хаскеле нет, так что я бы не рекомендовал путать одно с другим. Попробуйте посмотреть:
http://learnyouahaskell.com/higher-order-functions
начало главы на эту тему
http://learnyouahaskell.com/higher-order-functions
начало главы на эту тему
ХГ
Довольно многословно, на мой взгляд.
ХГ
Простейшая идея: есть функция двух переменных, курса и суммы. Курс мы фиксируем, получаем функцию одной переменной. Всё.
ХГ
Тут типы очень всё портят. Кажется, что авторы боятся, как бы ученики не напутали ничего с типами. В матане с этим проще, потому что тип как бы один :).
ХГ
Меня это постоянно смущало и в Х., и в Фарше. Простейшая идея, но постоянно такие большие глаза у авторов...