Calling back into Idris from Java

[ska80]

@mmhelloworld Thanks a lot again for your work on the JVM backend.

Is calling back into Idris from Java implemented? This would enable integrating critical parts written in Idris in bigger Java applications (e.g., Spring Boot, etc.)

[mmhelloworld]

Thank you. Calling Idris from Java is not yet available. I recently came to know about %export directive and JS backend using it so I am planning to implement the same for JVM backend soon.

[ska80]

Thanks!

[mmhelloworld]

Calling Idris from Java is now available with version 0.7.0: documentation. With that, we can now write a Spring Boot application completely in Idris! Example.

[ska80]

@mmhelloworld Thank you very much for putting this much effort into implementing this feature. I am currently figuring out (tinkering with the pom.xml configuration ) how to add Idris parts to an existing Spring Boot application.