Timeline for How do I interpret the wording of this passage about abstract binding trees from the book Practical Foundations of Programming Languages
Current License: CC BY-SA 3.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 26, 2023 at 13:00 | answer | added | Danny | timeline score: 0 | |
| Jun 16, 2020 at 10:30 | history | edited | CommunityBot |
Commonmark migration
|
|
| Sep 11, 2018 at 5:58 | comment | added | Blaisorblade | Validation proceeds outside-in, and in B[X] the set X is the set of variables that can occur, not actually the set of free variables. Both things are completely fixed by the definition of abts, because a variable x is for instance in B[x, y]. | |
| Nov 25, 2016 at 2:27 | comment | added | afsmi | @gardenhead I think you are incorrect in that this definition does not incur variable capture, which is an orthogonal issue. That is dealt with in the definition of substitution. Here he is speaking of the definition of a valid abstract binding tree. In fact, in the book his later (deemed correct) definition of abstract binding trees accepts $\text{let}(a_1,x.\text{let}(a_2,x.a_3))$ as a valid abt. | |
| Nov 24, 2016 at 17:48 | comment | added | gardenhead | The incorrect definition incurs capture, whereas capture-avoiding substitution is generally regarded as a pillar of proper language design. | |
| Nov 24, 2016 at 11:51 | history | tweeted | twitter.com/StackCompSci/status/801755167041454081 | ||
| Nov 24, 2016 at 6:16 | history | edited | afsmi | CC BY-SA 3.0 |
formatting
|
| Nov 24, 2016 at 6:08 | history | edited | afsmi | CC BY-SA 3.0 |
grammar
|
| Nov 24, 2016 at 5:07 | vote | accept | afsmi | ||
| Nov 23, 2016 at 15:45 | answer | added | Kurt Mueller | timeline score: 4 | |
| Nov 23, 2016 at 12:13 | history | edited | afsmi | CC BY-SA 3.0 |
clarifying notation
|
| Nov 23, 2016 at 12:06 | history | edited | afsmi | CC BY-SA 3.0 |
clarifying notation
|
| Nov 23, 2016 at 11:32 | history | edited | afsmi | CC BY-SA 3.0 |
modified title
|
| Nov 23, 2016 at 11:26 | history | asked | afsmi | CC BY-SA 3.0 |