Reputation
Next privilege 125 Rep.
Vote down
Badges
1
Newest
 Supporter
Impact
0 people reached

  • 0 posts edited
  • 0 helpful flags
  • 6 votes cast
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