Questions tagged [variable-binding]
The variable-binding tag has no summary.
40 questions
1
vote
1
answer
329
views
What is a simple explanation and example of de Bruijn indices?
In order to find the recurrence formula for the number of λ-terms of a given size, we make use of the representation of variables in λ-terms by de Bruijn indices. Recall that a de Bruijn index is a ...
- 182
0
votes
1
answer
160
views
Free variable in the programming language
From the wikipedia of Free variables and bound variables
In computer programming, the term free variable refers to variables used in a function that are neither local variables nor parameters of that ...
- 208
1
vote
2
answers
119
views
(how) is assignment or binding possible in purely functional languages?
i can't seem to find much info on the following question:
how (if at all) is the fixing of names to values (by binding or assignment) possible in a purely functional system like the lambda calculus?
i'...
- 11
2
votes
1
answer
59
views
How are closures supposed to interact with variable binding and resolving?
I am currently reading the Crafting Interpreter book and I have a question about the Resolving and Binding chapter
The author gave this example to illustrate the problem with the implementation at ...
- 145
2
votes
0
answers
106
views
Lambda calculus with unordered application
In lambda calculus, $\lambda xy.\phi$ isn't in general equivalent to $\lambda yx.\phi$. However, it seems possible to imagine a calculus which replaces application with something like specification, ...
- 241
1
vote
0
answers
332
views
What actually IS lambda calculus and how do I actually apply it?
Trying to wrap my head around lambda calculus but am really clueless right now.
First of all, I'm really confused WHAT it's actually supposed to be. I've found these definitions:
Lambda calculus (...
- 19
1
vote
0
answers
124
views
Shallow Binding with static scope, is it possible?
I'm new in programming, I'm currently studying programming languages.
I'm trying to implement Shallow Binding with static scope, starting from an abstract syntax (producing a programming language ...
1
vote
1
answer
185
views
What attributes are bound statically vs dynamically [closed]
I am having a hard time understanding the concept of what attributes get bound statically instead of dynamically. Below is code and from that code, what gets bound statically?
Here is an example (In ...
- 113
3
votes
0
answers
144
views
Lemma relating variable substitution to de Bruijn substitution
Notation:
Let $t$ and $u$ be terms in the $\lambda$-calculus, and $x$ be a variable name.
Let $[x\mapsto u]t$ be the substitution in $t$ of free variable $x$ for the term $u$. Specifically, I'm ...
- 183
0
votes
1
answer
371
views
What benefits are obtained by allowing the occurrence of free variables and open terms in lambda calculus?
Because of the existence of free variables in lambda calculus, the evaluation of open terms (at least as outlined here) is more complicated relative to the evaluation of closed terms since the ...
- 111
0
votes
0
answers
61
views
formal definition of lexical scope
I wonder if there is a formal definition of lexical scope so that people can prove things with respect to it, for example, that an interpreter implements lexical scope. You may ask what level of ...
- 781
3
votes
0
answers
130
views
Semantics of "write-once" variables for complex data structures
Question
My use case for what is described below is not a language or compiler implementation, but finding a reasonable semantics for this feature in a an abstract calculus.
Ideally, you give me a ...
- 370
3
votes
1
answer
471
views
Difference between assignment, binding, and substitution?
I am trying to understand the difference of assignment, binding, and substitution. I know the three things are related, but to me it's not exactly clear what word refers to what. Example, illustration,...
- 221
0
votes
2
answers
62
views
Does hiding variables work in terms of blocks or line-by-line?
Let's assume I have the following code:
declaration of a
declaration of b
..a..b
{
..a..b
declaration of a
declaration of b
..a
}
In this code {} ...
- 17
1
vote
0
answers
108
views
How to use dynamic scope?
I have this example code, which is an undefined language. We want to know what will be printed if we use static versus dynamic scope.
...
- 387