2,138 reputation
1226
bio website
location
age 25
visits member for 4 years, 1 month
seen Nov 4 at 17:39

Sep
26
awarded  Yearling
Aug
19
awarded  Informed
Jul
2
awarded  Curious
May
28
awarded  Necromancer
May
20
awarded  Popular Question
Feb
7
answered How do you encode Algebraic Data Types in a C#- or Java-like language?
Jan
29
revised How can I automatically undo checkouts on unmodified files?
added 51 characters in body
Jan
29
answered How can I automatically undo checkouts on unmodified files?
Jan
28
awarded  Nice Question
Nov
12
awarded  Notable Question
Sep
26
awarded  Yearling
Aug
6
awarded  Popular Question
Jun
27
awarded  Nice Answer
Jun
6
awarded  Taxonomist
Mar
9
awarded  Nice Question
Mar
9
revised Is it better to document functions in the header file or the source file?
Grammar tweak (that vs which)
Mar
8
awarded  Notable Question
Jan
27
comment Why (or why not) are existential types considered bad practice in functional programming?
"First-Class Modules for Haskell" illustrates some key shortcomings of existential types, or at least the way Haskell currently implements them. In particular, an existentially-typed value always has to be accompanied by an ad-hoc wrapper, or GHC's brain will explode. Existential types are a little awkward in Haskell, but they're useful, and we don't have anything clearly better yet.
Jan
19
awarded  Good Answer
Oct
23
awarded  Popular Question