3 ms·
I agree. I like to think that Idris is to Haskell what C# is to Java, with the exception that it's still a non-production-ready academic open source language.
by Legogris 9y ago
I agree. I like to think that Idris is to Haskell what C# is to Java, with the exception that it's still a non-production-ready academic open source language.
- lmm 9y agoIt's not that academic AIUI - it was designed for production use, right?
- Legogris 9y agoFrom the release notes of 1.0[0] last year: > Idris is primarily a research tool, arising from research into software development with dependent types which aims to make theorem proving and software verification accessible and practical for software developers in general. In calling this “1.0”, we mean no more than that the core language and base libraries are stable, and that you can expect any code that compiles with version 1.0 to compile with any version 1.x. > Since Idris has less than one person working on it full time, we don’t promise “production readiness”, in that there is still a lot to do to make the compiler and run time efficient, and there may be libraries you need which are not available. And, there will certainly be bugs! [0] https://www.idris-lang.org/idris-1-0-released/ https://www.idris-lang.org/idris-1-0-released/