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

May
1
comment Etymology of “String”
Wow. Great archaeology there.
Feb
6
comment Who first coined the term Higher Order Function and/or First Class Citizen?
great cite! of course it would be frege.
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
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
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
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.
Jun
2
comment “A proof is a program; the formula it proves is a type for the program”
@camccann: I'd add that if you aren't immediately familiar with CH, then the question would seem much more unanswerable and possibly subjective than it actually is.
Jun
1
comment “A proof is a program; the formula it proves is a type for the program”
@camccann -- a bit nitpicky, but I would distinguish between bottom and "nothing at all", which is more like Void, no? Laziness makes it more and less complicated both. I'd say that a function of A -> B always produces a value of type B, but that value may have less information than one would expect.