7 ms·

Tree Calculus is awesome with implications beyond this website. Shame the website doesn't attribute the creator and author Prof. Barry Jay. (Seems to be a patt

Tree Calculus is awesome with implications beyond this website. Shame the website doesn't attribute the creator and author Prof. Barry Jay. (Seems to be a pattern for them sadly, not sure why) See Jay's book on GitHub for more https://github.com/barry-jay-personal/tree-calculus/blob/master/tree_book.pdf https://github.com/barry-jay-personal/tree-calculus/blob/mas...

al-king 2y ago
Oh cool, his Bondi Language / Pattern Calculus was the first thing I thought of seeing this, so I guess I wasn't too far wrong.
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 no way to grab credit. I just posted this reply for more background on everything: https://news.ycombinator.com/item?id=42375914 https://news.ycombinator.com/item?id=42375914
- sulam 2y ago
  English is likely not your first language and it’s fairly obvious what you mean, but the word you’re using a lot is spelled “intention”. Not at all how it sounds, stupid English. (It’s also likely that this minor error is spawned by the use of intension, a very uncommon word, in the description of Tree Calculus.)
  - deleted 2y ago
    [deleted]
  - nlitened 2y ago
    As I understand, he uses both "intention" and "intension". "Intention" as a desire to do something, and "intensional" as opposite of "extensional": https://www.collinsdictionary.com/dictionary/english/intensional https://www.collinsdictionary.com/dictionary/english/intensi...
  - olydis 2y ago
    Ooops, thanks for catching, typo fixed. That Tree Calculus is intenSional (https://plato.stanford.edu/entries/logic-intensional/ https://plato.stanford.edu/entries/logic-intensional/) is one of its main selling points, so that spelling must've rewired too many motor neurons.

al-king 2y ago

Oh cool, his Bondi Language / Pattern Calculus was the first thing I thought of seeing this, so I guess I wasn't too far wrong.

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 no way to grab credit. I just posted this reply for more background on everything: https://news.ycombinator.com/item?id=42375914 https://news.ycombinator.com/item?id=42375914

sulam 2y ago
English is likely not your first language and it’s fairly obvious what you mean, but the word you’re using a lot is spelled “intention”. Not at all how it sounds, stupid English. (It’s also likely that this minor error is spawned by the use of intension, a very uncommon word, in the description of Tree Calculus.)
- deleted 2y ago
  [deleted]
- nlitened 2y ago
  As I understand, he uses both "intention" and "intension". "Intention" as a desire to do something, and "intensional" as opposite of "extensional": https://www.collinsdictionary.com/dictionary/english/intensional https://www.collinsdictionary.com/dictionary/english/intensi...
- olydis 2y ago
  Ooops, thanks for catching, typo fixed. That Tree Calculus is intenSional (https://plato.stanford.edu/entries/logic-intensional/ https://plato.stanford.edu/entries/logic-intensional/) is one of its main selling points, so that spelling must've rewired too many motor neurons.