322 reputation
39
bio website
location
age
visits member for 1 year, 8 months
seen yesterday

I am.


Aug
12
answered In Scheme, what is formally a program's state?
Jul
29
awarded  Yearling
Jul
14
awarded  Self-Learner
Jun
4
revised What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
The notation is an abbreviation ("shorthand"), not an alternative notation
Jun
3
accepted What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
Jun
3
revised What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
add a a sentence that i do not know a name for such a function in programming
Jun
3
revised What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
Remove my updates which i have posted as an answer.
Jun
3
answered What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
Jun
3
revised What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
add that Church used letter T for this combinator
May
18
revised What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
comma
May
18
revised What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
Edit title, add update about exp
May
17
comment What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
Which one? Where? How much?
May
17
asked What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
May
1
awarded  Enthusiast
Apr
17
comment In Scheme, what is formally a program's state?
Thanks for the reference, i will look at that book. About the substitution model, it is claimed in SICP that it is not appropriate once you allow assignment.
Apr
17
revised Is Liskov Substitution Principle incompatible with Introspection or Duck Typing?
add <!-- language: lang-rb --> to highlight Ruby syntax
Apr
17
comment In Scheme, what is formally a program's state?
I am now at lecture 5 out of 10 on SICP, and it looks to me that the environment (in the form of a pointer in a rooted tree of frames, each frame consisting of variable bindings), should be a part of the state.
Apr
17
comment In Scheme, what is formally a program's state?
I think when i was asking for a simplest definition, i meant the one where transitions from state to state would be the easiest to define. Otherwise it can be said that a program has only 2 states: the program itself and its result, and everything happens during the transition from the first to the second.
Apr
14
comment In Scheme, what is formally a program's state?
There is however something awkward with this semantics/state: its use of define seems far from optimal. To make a "small step" of replacing an identifier with its definition, the whole program must be searched for a matching define or set!. This semantics looks to me a bit impractical even from theoretical view point. The rules for searching for a matching define are complicated (for example, it should not occur in a quoted expression).
Apr
3
accepted In Scheme, what is formally a program's state?