836 words5 min read
Idris JVM 0.7.0 Release
Happy to announce Idris JVM 0.7.0 release! In addition to enabling Idris 0.7.0 features for the JVM backend, this release also includes:
more...
Tag: Java(5 posts)
All Posts
1529 words8 min read
Idris JVM: Automated FFI with null safety and exception handling
Idris JVM backend has supported foreign function calls for some time now. For example, to invoke parseInt method on java.lang.Integer class,
more...
312 words2 min read
Idris JVM: Guarding against Java null using Maybe type
Idris JVM now helps avoiding nulls getting into Idris from FFI calls using Maybe type. FFI declarations can have Maybe type in any argument position or in…
more...
1671 words9 min read
Introducing Idris on the JVM and an Idris Android example
Idris on the JVM! Yes, a dependently typed language on the JVM! I have been working on a JVM bytecode backend for Idris for the past few months and it is…
more...
1364 words7 min read
Frege: Hello Java
Here is a small code demonstrating Java interoperability in Frege:
more...