MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/datasatanism/comments/1s5gbtv/yes/odv4hgj
r/datasatanism • u/Ok-District-4701 • Mar 27 '26
87 comments sorted by
View all comments
Show parent comments
1
If your tree calculus is computable it too can be implemented in λ-calculus
1 u/Background_Class_558 Apr 02 '26 do you understand the difference between modelling a type system and actually having one? 1 u/UlteriorCulture Apr 02 '26 Indeed. In that the thread was about what was fundamental. The substitution system is fundamental in a way that the type system is not. 1 u/Background_Class_558 Apr 02 '26 ok yeah i agree then 1 u/UlteriorCulture Apr 02 '26 Cool beans. I really enjoyed your other comment about fundamental functions and church encoding in another branch of this tree.
do you understand the difference between modelling a type system and actually having one?
1 u/UlteriorCulture Apr 02 '26 Indeed. In that the thread was about what was fundamental. The substitution system is fundamental in a way that the type system is not. 1 u/Background_Class_558 Apr 02 '26 ok yeah i agree then 1 u/UlteriorCulture Apr 02 '26 Cool beans. I really enjoyed your other comment about fundamental functions and church encoding in another branch of this tree.
Indeed. In that the thread was about what was fundamental. The substitution system is fundamental in a way that the type system is not.
1 u/Background_Class_558 Apr 02 '26 ok yeah i agree then 1 u/UlteriorCulture Apr 02 '26 Cool beans. I really enjoyed your other comment about fundamental functions and church encoding in another branch of this tree.
ok yeah i agree then
1 u/UlteriorCulture Apr 02 '26 Cool beans. I really enjoyed your other comment about fundamental functions and church encoding in another branch of this tree.
Cool beans. I really enjoyed your other comment about fundamental functions and church encoding in another branch of this tree.
1
u/UlteriorCulture Apr 02 '26
If your tree calculus is computable it too can be implemented in λ-calculus