Welcome to Idris JVM’s documentation!

Idris 2 is a purely functional programming language with first class types. Idris JVM compiles Idris programs to JVM bytecode enabling Idris programs to be run on the JVM. Idris JVM backend is written in Idris and compiled with JVM backend so the compiler itself is self hosting and runs on Java 8 or above.

• Overview
• Calling Java from Idris
  • Calling static methods
  • Calling instance methods
  • Calling constructors
  • Inheritance
• Tail Call Optimization
  • Self tail recursion
  • Mutual tail recursion
  • Functions can be both self and mutually tail recursive