344 reputation
312
bio website
location
age
visits member for 2 years, 4 months
seen Sep 24 at 11:40

I am.


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
Jul
31
revised Is Liskov Substitution Principle incompatible with Introspection or Duck Typing?
typo
Jul
31
revised Is Liskov Substitution Principle incompatible with Introspection or Duck Typing?
Add alternative statements of LSP and explain violation of the original LSP
Jul
30
revised Is Liskov Substitution Principle incompatible with Introspection or Duck Typing?
add a formulation of LSP