2 ms·
Does anyone who prefers these types of languages have any thoughts on Idris? The ecosystem is small but the language seems to satisfy the Haskell use case witho
by user3939382 3y ago
Does anyone who prefers these types of languages have any thoughts on Idris? The ecosystem is small but the language seems to satisfy the Haskell use case without the language extension issue.
- pjmlp 3y agoDependent 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.
- kreetx 3y agoThe 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/ 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.
- memorysafety 3y agoIdris 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.