D
Vasiliy
так и обсуждает Яндекс (конкретную компанию)
найс умыл
Size: a a a
2020 August 03
ᛒ
@Mrsameman слышь, а еси фрешнес типо a # X Значит шо а не относица к свободным переменным в X ет че значит шо ето биндинг переменная иль че ваще
ᛒ
я чет пизда туплю
Oℕ
свободная переменная что такое
Oℕ
x + y вот тут две свободных переменных
Oℕ
lambda x. x + y - тут одна
Oℕ
lambda x y. x + y - тут ноль
Oℕ
соответственно
z # (x + y)
z # (x + y)
Oℕ
x # (lambda x . x + y)
Oℕ
y # (lambda x y. x + y)
Oℕ
Ты же смотрел секвенции
ᛒ
да, оч давно
Oℕ
Как ты говоришь
ᛒ
у мя запара была типо с тем шо еси не свободная то связанная чтоле
ᛒ
ну и как ты показал - не только связанная
ᛒ
можно ваще левую
R
x # (lambda x . x + y)
Тут х слева не то же самое шо х справа же да?