Viewing profile — phazer
phazer
HN member- Joined
- Thu, Oct 19, 2017, 2:28 PM UTC
- HN karma
- 2
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About phazer
No profile information was provided.
Recent public activity
-
comment
Comment #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 t…
-
comment
Comment #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 …