1,965 reputation
1023
bio website
location
age 24
visits member for 3 years, 6 months
seen Apr 17 at 19:09

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
Sep
26
awarded  Yearling
Sep
21
awarded  Popular Question
Jul
22
revised What limitations does the JVM impose on tail-call optimization
Replace "TCO" with "tail-call optimization", to avoid confusing it with "total cost of ownership".
Jul
22
suggested suggested edit on What limitations does the JVM impose on tail-call optimization
Jul
22
revised What direction should I consider the offset when searching strings in reverse?
Make the search key more than a single character.