olydis

10 ms·

1. 1.▲
   by olydis 5mo ago

   A good point! From the “visual introduction” post mentioned elsewhere: Rules 1 and 2 seem arbitrary […], but behave analogous to the K and S operators of combinatory logic, which is sufficient to bootstrap λ-calculus. Rules 3a-c “triage” wh
2. 2.▲
   by olydis 2y ago

   Thanks! For now, I added a link to your website to https://treecalcul.us/specification/ just now.
3. 3.▲
   by olydis 2y ago

   Ooops, thanks for catching, typo fixed. That Tree Calculus is intenSional ( https://plato.stanford.edu/entries/logic-intensional/ ) is one of its main selling points, so that spelling must've rewired too many m
4. 4.▲
   by olydis 2y ago

   Correct. I think of it this way: The reduction rules prescribe an encoding for functions, but don't describe it for other (traditional) data. But there are very canonical choices of course, which the demos on the website follow: * fals
5. 5.▲
   by olydis 2y ago

   Super cool, thanks for the pointer! I'll note, though, that one of the main value adds of (this) TC is that it is also intensional . See website for some elaboration and examples, I'd particularly recommend looking at https:&#x2
6. 6.▲
   by olydis 2y ago

   Correct! The huge value add of TC is that it is also intensional , which SKI or LC are not. This is a property one is not commonly confronted with (which is a shame), but means that all the things you say (and more) can be defined right in
7. 7.▲
   by olydis 2y ago

   Thanks for the feedback! Tree Calculus is a calculus/logic, see Specification page or the book by Barry Jay (linked on that page) for way way better and detailed verbose explanations. It only defines what I chose to call "t"
8. 8.▲
   by olydis 2y ago

   Super cool! I think a (potentially animated) version of this would be an excellent addition for the website's "Specification" page :)
9. 9.▲
   by olydis 2y ago

   Note that it refers to his book on the "Specification" page :) > Seems to be a pattern for them sadly, not sure why Can you elaborate? Agreed I could (and will) attribute more explicitly on the website, but the intention is in
10. 10.▲
    by olydis 2y ago

    Thanks for the feedback! The target audience I had in mind was certainly developers (like me), not "all people". And the wording was indeed inspired by PL talks and blog posts I consumed over the years. Here is a (slightly provoca
11. 11.▲
    by olydis 2y ago

    Hi all, author of the website here (I'm https://johannes-bader.com/ ). Wow, thanks for the reactions and many good suggestions! I thought I'd add a bit of context here. As has correctly been pointed out, Tree Calcu