Hacker News Reader

The small ecosystem plus not being production ready, are the reasons Idris and Agda are not there yet, and won't be any time soon (if ever).

Also, in my experience, Haskell's user experience isn't all that bad. It seems to me that the author is worked up and dense for some reason, and is hoping that a custom base library will somehow help. All the advertised features on the website (https://neohaskell.org/) are already in Haskell's base library or an import away. The "coming soon" "Pre-thought architecture" isn't, but I'm doubtful that there exists a single architecture that fits every problem.

Idris 2 ruined it for me.

Scientifically, it's cool of course, dependent linear types yaay.

Socially though, incompatible rewrite in Scheme should've been a separate project IMO; but since it's called "Idris 2", community attention faded away from the Haskell implementation "Idris 1". Which caused bad maintenance, neglect, stagnation, of a thing I tried and liked.

Dependent types are a great idea, that still requires a lot of research to come up with a mechanism that make them tratable to the journeyman developer.