101 reputation
1
bio website
location
age
visits member for 2 years, 9 months
seen Jan 28 at 7:25

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