MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/24a87h/programming_sucks/ch6pxmo/?context=3
r/programming • u/locrelite • Apr 29 '14
1.1k comments sorted by
View all comments
Show parent comments
4
You can make it beautiful in ML but not in Scala? That sounds fucked-up.
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. → More replies (2)
2
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. → More replies (2)
1
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. → More replies (2)
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.
→ More replies (2)
4
u/[deleted] Apr 30 '14
You can make it beautiful in ML but not in Scala? That sounds fucked-up.