354 reputation
313
bio website
location
age
visits member for 2 years, 9 months
seen Mar 18 at 19:37

I am.


Mar
15
revised In Scheme, what is formally a program's state?
add another relevant part from Racket reference (about `set!`)
Mar
15
revised In Scheme, what is formally a program's state?
emphasize an important sentence with boldface
Mar
15
revised In Scheme, what is formally a program's state?
add another relevant quote from Racket reference
Jul
30
revised Haskell syntax for type definitions: why the equality sign?
clarify the title a bit
Feb
12
revised A pattern to “atomically” update a pair of objects
reformat
Jan
27
revised A pattern to “atomically” update a pair of objects
improve Ruby example
Jan
27
revised A pattern to “atomically” update a pair of objects
slightly change my example
Jan
27
revised A pattern to “atomically” update a pair of objects
add an example in Ruby
Jan
1
revised In Scheme, what is formally a program's state?
Add a long quote from Racket reference, and more personal opinion
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
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
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
Apr
17
revised Is Liskov Substitution Principle incompatible with Introspection or Duck Typing?
add <!-- language: lang-rb --> to highlight Ruby syntax
Aug
1
revised Is Liskov Substitution Principle incompatible with Introspection or Duck Typing?
add more code to the example
Aug
1
revised Is Liskov Substitution Principle incompatible with Introspection or Duck Typing?
add a concrete example from core Ruby
Jul
31
revised Is Liskov Substitution Principle incompatible with Introspection or Duck Typing?
removed duck-typing tag
Jul
31
revised Is Liskov Substitution Principle incompatible with Introspection or Duck Typing?
change emphasis markup