[Announce] Idris 2 Bootstrap compiler now runs on the JVM with a JVM backend

[mmhelloworld]

Hello all,

I am excited to share that Idris 2 Bootstrap compiler now runs on the JVM with a JVM backend. I have published a release here if anyone would like to try it out and I have explained the details about this release here. Here is a sample REPL session:

$ idris2
     ____    __     _         ___
    /  _/___/ /____(_)____   |__ \
    / // __  / ___/ / ___/   __/ /     Version 0.1.1-786152de1
  _/ // /_/ / /  / (__  )   / __/      https://www.idris-lang.org
 /___/\__,_/_/  /_/____/   /____/      Type :? for help

[BOOTSTRAP VERSION: No longer developed, except as a bootstrapping step.]
Welcome to Idris 2 on the JVM (Private Build OpenJDK 64-Bit Server VM, 1.8.0_275).  Enjoy yourself!
Main> "hello world"
"hello world"
Main> take 10 [25..]
[25, 26, 27, 28, 29, 30, 31, 32, 33, 34]
Main> :t map
Prelude.map : Functor f => (a -> b) -> f a -> f b
Main> :exec printLn "Hello Idris 2 on the JVM - this is printed from executing JVM bytecode from memory"
"Hello Idris 2 on the JVM - this is printed from executing JVM bytecode from memory"
Main>

[mmhelloworld]

0.2.1 - New release for bootstrap compiler

https://github.com/mmhelloworld/Idris2-boot/releases/tag/v0.2.1

Features

• Support system functions (getArgs, getenv, setenv, system, time, sleep etc.)
• Conversion between Idris list and Java collections
• Support network primitives
• Implement fork with Java Thread
• Fix String to Integer conversion
• Fix switch expression type
• Allow custom Idris 2 boot home directory, integrate idris build into maven