A Dependently Typed Functional Programming Language
...Idris has support for external code generators. Supplied with the distribution is a C codegenerator to compile executables, and a JavaScript codegenerator with support for node.js and browser JavaScript.