E
Я неправильно отдешугарил do вариант
(+2) >>= \x -> (*5) >>= \y -> return (x+y)
Было вот так
Size: a a a
2021 December 02
E
2021 December 03
zt
помогите пж
(\a b c d->[a,b,c,d])<$>[0..1]<*>[0..1]<*>[0..1]<*>[0..1]
можно ли как то не писать <*>[0..1] много раз а просто сделать чтобы оно выполнялось n раз?
(\a b c d->[a,b,c,d])<$>[0..1]<*>[0..1]<*>[0..1]<*>[0..1]
можно ли как то не писать <*>[0..1] много раз а просто сделать чтобы оно выполнялось n раз?
JS
replicateM 4
zt
спасибо
2021 December 04
P
Всем привет, пожалуйста помогите.
Разбираюсь в лямбда-исчислении и никак не могу понять суть второй строчки, что она делает
Разбираюсь в лямбда-исчислении и никак не могу понять суть второй строчки, что она делает
JS
это просто форма аппликации, ничего она не делает
JS
хотя в каком-то контексте в ней может быть дополнительный смысл
P
Просто по логике, аппликация должна работать так, что правостороннее применяется к левостороннему.
JS
да, только в точности наоборот
P
зачем тогда писать это в 3 строчке, если это не имеет смысла
JS
все эти строчки не имеют смысла без контекста
P
Алгоритм(функция) применяется к переменной?
JS
JS
в ЛИ вообще терм к терму
P
А зачем нужно понятие переменных, если все переменные и есть лямбда-термы?
JS
терм, который применяется (стоит слева), можно назвать функцией
терм, к которому применяется (стоит справа), можно назвать аргументом
терм, к которому применяется (стоит справа), можно назвать аргументом
JS
потому что не все термы суть переменные
JS
здесь есть контекст? откуда это взято? просто примеры термов от печки, никак не связанные?
P
получается
(λx.xz)y это y * z
и нет никакой привязки к операциям цифрам или ещё чему-то?
(λx.xz)y это y * z
и нет никакой привязки к операциям цифрам или ещё чему-то?