Julia is a dynamically typed JIT-compiled language, which aims to emit efficient machine code via LLVM infrastructure.
Compiling Idris 2 to it has 2 main goals:
- Performance - especially for numeric intesive code
- Access Julia's many libraries - espcially data science
- recent idris2
TODO
TODO
The julia ffi allows calling any julia code, as well as importing libraries.