3 ms·
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 so
by phazer 9y ago
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.
- lmm 9y agoIs PureScript really any more production-ready than Idris? That wasn't the impression I got.
- phazer 9y agoIt seems a bit more mature, at least in terms of package management and available libraries (https://pursuit.purescript.org https://pursuit.purescript.org). I'm not very impressed with the editor/IDE support though.