5 ms·
It makes me sad that Idris is (explicitly) never going to be an industrial language - so many nice things in it.
by badsock 12y ago
It makes me sad that Idris is (explicitly) never going to be an industrial language - so many nice things in it.
- deleted 12y ago[deleted]
- ane 12y agoWhy not? Is it in its mission to never become one?
- mlitchard 12y agoI think it will do just fine as an industrial language, when you have the senior architect being the idris expert. His job will be to write the DSL for the engineers to code in. Idris already has hooks into C and Java and who knows what else by then. It won't work well if you expect to replace your java brigade with an idris brigade. Why would you need one anyway? I wonder if I'm being naive.