News for hackers. Stuff that matters.

A comment on Scala.js for large and complex front end apps [video]. Parent comment

Re:Scala.js for large and complex front end apps [video] by airless_bar on Tuesday March 22, 2016 @02:13AM (#11334735)
I think most types for which you would care about type inference in Scala can't even be expressed in Typescript ...
[ Parent | on HN ]
Re:Scala.js for large and complex front end apps [video] by lomnakkus on Tuesday March 22, 2016 @05:13PM (#11340002)
Yeah. HKTs are one particular instance, though even Scala doesn't necessarily do particularly well on those compared to e.g. Haskell (well, GHC, really).

(It seems subtyping and higher-order reasoning just don't mix well. Undecidability abounds, unfortunately. I tend to prefer higher-order reasoning over subtyping.)

[ Parent | on HN ]