R
Фить ха
ты прост разные штуки сравниваешь
Size: a a a
2020 August 03
Oℕ
когда правила описываешь - абстрактный
Oℕ
когда работают правила - будет конкретный атом
ᛒ
уже можно сказать , что
x # λ x. (x + y)
x # λ x. (x + y)
ну тоесть x # значит что х как то связано с тем шо справа? шо справа свободной переменной с таким именем нет, почему тогда в
x # (lambda x . x + y) x который слева от # не то же самое шо x справаOℕ
т.е. какой-то символ из твоего множества имён
Oℕ
ну тоесть x # значит что х как то связано с тем шо справа? шо справа свободной переменной с таким именем нет, почему тогда в
x # (lambda x . x + y) x который слева от # не то же самое шо x справану ты же фп программист
ᛒ
ну имя ж тоже
Oℕ
потому шо там уже лямбда
ᛒ
ᛒ
вы про ето
Oℕ
какой-бы x ты не добавил
Oℕ
вы про ето
про что ето
Oℕ
какой-бы x ты не добавил
в выражении внутри лямбды зашедовится
Oℕ
поэтому выражение lambda x. (x+y) уже "не зависит" от x
Oℕ
так же как
integral (x = -inf, +inf) sin(x) / x^2 dx уже не зависит от x
integral (x = -inf, +inf) sin(x) / x^2 dx уже не зависит от x
Oℕ
поэтому как бы ты x не переименовывал это выражение не изменится
Oℕ
отсюда правила все
.
да сказал бьі про скоуп да и все