836 words 5 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...
All Posts
281 words 2 min read
Idris 2 Initial Release 0.2.1 for the JVM
There is now an initial version for Idris 2 - 0.2.1 for the JVM. This is compiled from Idris 2 JVM bootstrap version.
more...
1000 words 5 min read
Idris 2 Bootstrap Compiler on the JVM with a JVM backend
I am excited to announce that Idris 2 bootstrap compiler can now run on the JVM along with a JVM backend. Here is a REPL session:
more...
1529 words 8 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 words 2 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 words 9 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...
1329 words 7 min read
Haskell on the JVM via GHCJS and Nashorn
Currently there are 2 ways we can write Haskell on the JVM:
more...
617 words 4 min read
Frege: Record accessors and mutators
Frege has built-in mechanism to access and mutate (non-destructive) record fields.
more...
1364 words 7 min read
Frege: Hello Java
Here is a small code demonstrating Java interoperability in Frege:
more...