Re:Typelevel Scala
by atemerev on Friday August 26, 2016 @05:13PM
(#12369345)
I am not afraid of big words, I did some research on implicit parallelization with arrows. :) But Scala is a hybrid pragmatic functional language, not aspiring to some advanced type research (except in FP-OOP interop). Even typeclasses, while working, are somewhat a hack in Scala. Why not use more appropriate languages for research and leave Scala to be good where it excels?
[ Parent
| on HN ]
Re:Typelevel Scala
by whateveracct on Friday August 26, 2016 @08:31PM
(#12370250)
Scala has first-class syntactic support typeclass-constrained generics (see context bounds) so idt they are a hack at all. Lack of canonicity and runtime representation are the main differences between Haskell and Scala typeclasses.