Reputation
14,363
Top tag
Next privilege 15,000 Rep.
Protect questions
Badges
3 44 86
Newest
 Enlightened
Impact
~335k people reached

2d
awarded  Enlightened
2d
awarded  Nice Answer
2d
answered Are there alternatives to types for static analysis?
Feb
2
awarded  Good Answer
Jan
25
awarded  Notable Question
Jan
22
awarded  Nice Answer
Jan
15
comment What does it mean to declare a volatile variable?
@EricLippert: If i is declared as volatile int i then pi must be declared as volatile int *pi, in which case *pi is a volatile access, no?
Dec
9
answered Getting a Candidate to do a Pull Request Review in an Interview
Nov
25
comment What is the purpose of wrapped values in Haskell?
Might be worth adding that the value of Applicative is that you can apply functions of multiple arguments, e.g., ((\x y z -> x + y + z) <$> Just 5 <*> Just 10 <*> Just 200) == Just 215. Also, in x >>= y, the result of y can depend on the result of x, so they must be evaluated serially; whereas with x <*> y, the two are independent and can be evaluated concurrently, e.g., with the Concurrently applicative.
Nov
22
comment How different is garbage collection in pure languages?
Also: ghc.haskell.org/trac/ghc/wiki/Commentary/Rts/Storage/GC
Nov
22
comment How different is garbage collection in pure languages?
Eager promotion relies on laziness—updating a thunk in an old generation can create a pointer into the new generation, but thunks are only ever mutated once, so it suffices to promote the young object eagerly. Other old-to-young references (e.g., from mutable arrays) are tracked using “remembered sets”, which are also used in case eager promotion fails.
Nov
18
awarded  Notable Question
Nov
1
awarded  Great Answer
Oct
31
awarded  Guru
Oct
29
comment Why is the minus sign, '-', generally not overloaded in the same way as the plus sign?
@Darkhogg: Right! PHP borrowed . from Perl; it’s ~ in Perl6, possibly others.
Oct
29
comment Why is the minus sign, '-', generally not overloaded in the same way as the plus sign?
@spudowiar: Hah, you’ve got me there. Figured it would be a readable notation, without using any particular language.
Oct
29
comment Why is the minus sign, '-', generally not overloaded in the same way as the plus sign?
@Holger: Hmm, I agree in part. Perhaps * or something would be better, as people familiar with linear algebra will already know that multiplication is not necessarily commutative. But there is also a strong appeal to natural language—“plus” has a strong association with “and”, even though for many monoids (and as far as operator precedence goes) it’s more like an “or” operation: addition is like bitwise union with carry, for example.
Oct
29
awarded  Good Answer
Oct
29
comment Why is the minus sign, '-', generally not overloaded in the same way as the plus sign?
@CodesInChaos: I added a mention of them, but I wasn’t really comfortable putting sets as an example of a group—I don’t believe they form one, as you can’t generally construct the inverse of a set.
Oct
29
revised Why is the minus sign, '-', generally not overloaded in the same way as the plus sign?
added 24 characters in body