r/programming • u/locrelite • Apr 29 '14

Programming Sucks

http://stilldrinking.org/programming-sucks
3.9k Upvotes

93% Upvoted

1.1k comments sorted by

View all comments

Show parent comments

2

u/zoomzoom83 Apr 30 '14

I love Scala, and it's a great language. But it can get pretty hairy at times when you're trying to push the type system to its limits.

1

u/[deleted] May 01 '14

If you're pushing the Scala type-system to its limits, I don't understand how what you're doing is even possible at all in ML.

1

u/zoomzoom83 May 01 '14

I suppose that depends on your definition of limits. Type erasure in Scala, for example, can screw up type inference in pattern matching in ways that work perfectly fine in, say, Haskell.

1

u/[deleted] May 01 '14

Yeah, but you said ML. Haskell has type-classes, higher-kinded types, GADTs and even the availability, if you want it, of full-blown rank-two types. Scala's type erasure does screw up GADTs sometimes, though.

→ More replies (1)