101 reputation
1
bio website
location
age 32
visits member for 3 years, 11 months
seen May 28 at 14:33

Oct
2
comment What can Haskell's type system do that Java's can't and vice versa?
@DanielWagner He asked what Haskell's type system can do that Java can't, not what are "core"/difficult to add features. Haskell can detect null dereferences at compile-time, Java can't. This is a major feature, and worth emphasizing more than others. By "covariance silliness" I don't mean subtyping. I mean Java having the wrong covariance for arrays and breaking Java's type system's soundness.
Sep
30
comment What can Haskell's type system do that Java's can't and vice versa?
Nullability? Soundness (no covariance sillinses)? Closed sum types/pattern matches? This answer is way too narrow
Feb
2
comment What is the advantage of currying?
Currying isn't a very deep concept. It is about simplifying the underlying model (see Lambda Calculus) or in languages that have tuples anyway it is in fact about syntactic convenience of partial application. Don't underestimate the importance of syntactic convenience.
Jul
31
comment What does C++ do better than D?
@jokoon, Haskell is a compiled language, and it's a very pretty language... Maybe you mean a language that supports low-level and high-level code simultaneously?
Apr
17
comment Why was Python's popularity so sudden?
What do you mean by fast language?
Jan
21
awarded  Supporter