101 reputation
1
bio website
location
age
visits member for 3 years
seen Jun 4 at 1:50

Sep
30
comment What can Haskell's type system do that Java's can't and vice versa?
What about (closed) sum types? They're one of the more important mechanisms for encoding constraints.
Aug
18
awarded  Supporter