349 reputation
313
bio website
location
age
visits member for 2 years, 5 months
seen Dec 1 at 19:42

I am.


Jan
6
comment Why does DrRacket IDE considers some identifiers as “symbols” and some as “keywords”? What is the difference?
Is this a bug then?
Jan
1
revised In Scheme, what is formally a program's state?
Add a long quote from Racket reference, and more personal opinion
Jan
1
comment If immutable objects are good, why do people keep creating mutable objects?
I cannot find yet where i've read this about the origins of OOP, but according to Wikipedia, some Integrated Regional Information System of a large container shipping company OOCL is written in Smalltalk.
Jan
1
answered If immutable objects are good, why do people keep creating mutable objects?
Dec
31
awarded  Critic
Dec
31
asked Why does DrRacket IDE considers some identifiers as “symbols” and some as “keywords”? What is the difference?
Aug
22
comment Who created the idea(s) of the first loop constructs?
I can imagine, as it usually happens, the first time a loop was used in a computer program, nobody called it "a loop."
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?