Idris seems really great, but I can't use it for much because its standard library is sorely lacking. If someone were to port over an equivalent of Haskell's Base (including Network, Map, Seq, Vector, etc.) I would probably start using it for real work.
Excuse me if I'm wrong, but isn't compiling to C instead of e.g. LLVM IR generally considered bad practice unless you have a very good reason due to all of C's undefined behavior?
there are certainly arguments to be made about UB (though i don't think llvm ir is free of it). on the other hand, llvm is ostensibly less portable and it's infrastructure is a rather massive beast to work with.
13 comments
[ 3.3 ms ] story [ 34.9 ms ] thread1. https://github.com/Neopallium/slua
[0]: http://zephir-lang.com/
[0] https://www.varnish-cache.org/docs/trunk/reference/varnishd....
It was my university project. It’s not really useful, but it was extremely fun to work on.
Vala is essentially sugar for the GObject API. Zephir is the same for the Zend Engine API.
* Idris : http://www.idris-lang.org/
* Ivory : http://ivorylang.org/
* ATS : http://www.ats-lang.org/
* Mbeddr : http://mbeddr.com/
Idris seems really great, but I can't use it for much because its standard library is sorely lacking. If someone were to port over an equivalent of Haskell's Base (including Network, Map, Seq, Vector, etc.) I would probably start using it for real work.
http://www.ceu-lang.org
(I'm the author of Céu.)