Our great sponsors
-
NeoHaskell
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
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.
I disagree. Lots of communities, e.g. Julia or Stan, use https://www.discourse.org. Discourse is GPL2 and emulates old Internet forums.
Related posts
- Is BuddyPress still a viable option to create a community-based website? Or should I be looking at other options?
- Why does the mastodon.social's privacy policy template link to Discourse's GitHub?
- So Long, Twitter and Reddit
- Think Twice Before You Use Discord for Your Community
- Is there interest in a specialized forum for gifted people?