Live data from Hacker News

Compilers targeting C - a list of open source compilers that can generate C code

github.com

1–10 of 14 posts

Re: Compilers targeting C - a list of open source compilers that can generate C code

#9
post #8

Some other missing compilers: * Idris : http://www.idris-lang.org/ * Ivory : http://ivorylang.org/ * ATS : http://www.ats-lang.org/ * Mbeddr : http://mbeddr.com/

I did not know Idris targeted C!

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.

Post reply on HN