Re:Scala Native with Denys Shabalin – Software Engineering D...
by phazer on Thursday October 19, 2017 @10:35AM
(#15508252)
I wouldn't say Idris is "production ready" in terms of libraries and tooling. Unless dependent types is a must, I would choose Purescript instead if I wanted something Haskell'ish but strict and with nice JavaScript support.
Re:Scala Native with Denys Shabalin – Software Engineering D...
by lmm on Thursday October 19, 2017 @06:23PM
(#15512060)
Is PureScript really any more production-ready than Idris? That wasn't the impression I got.
Re:Scala Native with Denys Shabalin – Software Engineering D...
by phazer on Friday October 20, 2017 @07:51AM
(#15515008)
It seems a bit more mature, at least in terms of package management and available libraries (https://pursuit.purescript.org). I'm not very impressed with the editor/IDE support though.
I do think Scala still has advantages: higher-kinded type support which OCaml and F# don't have, strict evaluation unlike Haskell, and better IDE/tool support than any except F#.