3 ms·
The main repository is in the top 1% of stargazed repositories on GitHub, and the project has a mailing list, Discord server, IRC, AND Slack. It has been forke
by andrewmcwatters 4y ago
The main repository is in the top 1% of stargazed repositories on GitHub, and the project has a mailing list, Discord server, IRC, AND Slack.
It has been forked over 300 times, and has over 100 contributors.
What in the world counts as "serious" to some of you people?
Sometimes I read HN and ask myself if people here know at all how hard it is make something people want, and how many people know what the real-world thresholds are for understanding when you have made something that people want.
I guess if everyone hasn't heard of it, people here don't think it's serious.
- bobleeswagger 4y ago[flagged]
- andrewmcwatters 4y agoI mean you tell me, which would be bullying to you? You work for years on something and someone tells you it's not "serious" because they haven't learned to browse a source tree, or the guy telling him to read a little more? Either way, I apologize for how it came off.
- bobleeswagger 4y ago> someone tells you it's not "serious" because they haven't learned to browse a source tree "Fuck this stranger for not learning something I know how to do!"
- mejutoco 4y agoI find Idris incredibly interesting. Specially combined with the output it can generate in other languages. The book of it is also a masterpiece, even if you never program in it. Already lots of "serious" hacked together programming languages. The only downside I see if the lack of a package manager.
- Kranar 4y ago>What in the world counts as "serious" to some of you people? For a programming language? Would be good to know what projects have used it. Most languages people develop are done as either a hobby or to serve some kind of research/academic purpose. Is Idris used for any production grade software?