101 reputation
1
bio website
location
age
visits member for 3 years, 5 months
seen Aug 6 at 22:11

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.