512 reputation
311
bio website
location
age
visits member for 3 years, 2 months
seen Jul 18 '13 at 12:43

May
1
awarded  Popular Question
May
1
comment Etymology of “String”
Wow. Great archaeology there.
May
1
accepted Etymology of “String”
May
1
awarded  Good Question
Feb
6
awarded  Yearling
Feb
6
awarded  Scholar
Feb
6
awarded  Commentator
Feb
6
comment Who first coined the term Higher Order Function and/or First Class Citizen?
great cite! of course it would be frege.
Feb
5
answered Who first coined the term Higher Order Function and/or First Class Citizen?
Sep
5
comment Critique of the IO monad being viewed as a state monad operating on the world
@JimmyHoffa: this is the purpose of abstraction. Also, to follow up on my initial comment, Clean models IO as world-passing explicitly and happily, using uniqueness types to ensure that you don't cheat and "duplicate" the world. This is one way of enforcing the abstraction.
Sep
5
comment Critique of the IO monad being viewed as a state monad operating on the world
@datenwolf: yep. even in the cps style implementation of IO there's a notion in which evaluation is "collapsing the waveform." This actually relates deeply to models of concurrency that use symmetry to reduce the state space.
Sep
5
awarded  Critic
Sep
4
comment Critique of the IO monad being viewed as a state monad operating on the world
@JimmyHoffa: You can carry around the rule store in state though.
Sep
4
answered Critique of the IO monad being viewed as a state monad operating on the world
Sep
4
comment Critique of the IO monad being viewed as a state monad operating on the world
that's actually not a problem. you can model the bind operation as performing a modification to the world state derived from some fixed-but-unknowable rule store.
Jun
3
comment How common are generic-case exponential time algorithms in production software?
some related answers here: cstheory.stackexchange.com/q/305/351
Apr
19
awarded  Quorum
Feb
3
awarded  Yearling
Jun
9
comment “A proof is a program; the formula it proves is a type for the program”
Just to add to that because I'm a bit steamed up -- the answers to this questions are rife with references to hard CS research and in that sense more "objective" than 90% of SO. Furthermore, sixlettervariable's criteria (that the solution needs code) is insanely narrow for a wide range of genuine programming questions that are neither subjective nor off-topic. I really would hate to see the inclusionist/deletionist debate reemerge on SO, but if clearly programming threads like this get bumped, then I worry...
Jun
9
comment “A proof is a program; the formula it proves is a type for the program”
I've flagged this to move back to stack overflow. I don't know if the procedure is to go to meta on this or what. This was a "hard" computer science question with a definite, black and white, not subjective answer. Those that voted to migrate, I think, didn't realize this.