5 ms·
I can't wait for a mature idris+mature rust. It will be a better world then.
by mlitchard 12y ago
I can't wait for a mature idris+mature rust. It will be a better world then.
- badsock 12y agoIt 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.
- mcguire 12y agocough, cough, ATS, cough...
- mlitchard 12y agoThanks for the heads up. I just googled.