ΑZ
термы имею трекурсивное определение
Size: a a a
2021 May 26
B
а и есть аксиомы, как я понимаю
ΑZ
термы это:
1. переменные
2. Термы примененные друг к другу
3. лямбды с использованием переменных в качестве аргументов и терма в качестве тела
1. переменные
2. Термы примененные друг к другу
3. лямбды с использованием переменных в качестве аргументов и терма в качестве тела
ΑZ
ну да, есть. Их можно самому писать - в расте это обычно анврап :)
B
2 это типа композиция?
AN
я так понял есть любые буквы, вот то вот V множетсво. это множество всех допустимых индентификаторов. Потом получается любой индентификатор это терм. и вот те комбинации ^^^ ... Только вот уникальные ли переменные я что то не понял.
ΑZ
ΑZ
уникальные да
B
а 3 тогда что?
ΑZ
абстракция
B
а, ну да
AN
т.е. просто в лямбда калькусе нету неймспейсов?
ΑZ
x - переменная
10 - терм
x => x + 10 - терм
10 - терм
x => x + 10 - терм
B
ржака
ΑZ
а зачем?
ΑZ
у тебя есть все идентификаторы мира
ΑZ
а ты - неймспейсы... тьфу
ΑZ
мелко мыслишь
TK
Проблема только в одном. Как терм может быть телом лямбды, если брать его определение из 1 и 2?
AN
не нужно. я согласен. просто уточнил чтобы понять правильно ли я понимаю.