mmhelloworld/idris-jvm
View on GitHub ↗ ★ 483 Idris
Idris on the JVM
6 mentions on Hacker News by 5 people: 1 story, 5 comments · first 2017-06-16 · latest 2026-06-09
20082026
-
There is also Idris 2 for JVM ( https://github.com/mmhelloworld/idris-jvm ) Frege targets Java source code, which is then compiled by javac - the downside of that approach is you can not preserve the line numbers for debug information.
comment by J-Kuhn · 2026-06-09 · in H2JVM – A Haskell Library for Writing JVM Bytecode -
This file https://github.com/mmhelloworld/idris-jvm/blob/main/libs/bas... demonstrates how the interop looks like currently. The `%foreign` directive takes an FFI descriptor to talk to the respective backends. Here you can see few scheme…
comment by mmhelloworld · 2023-02-28 · in Idris 2 0.6.0 is now available for the JVM -
…for your feedback. I will update the README to include a link for JVM interop. For now, this file https://github.com/mmhelloworld/idris-jvm/blob/main/libs/bas... , demonstrates how the interop looks like currently. The %foreign directive…
comment by mmhelloworld · 2023-02-28 · in Idris 2 0.6.0 is now available for the JVM -
This link to the latest readme.md may be helpful. https://github.com/mmhelloworld/idris-jvm/blob/latest/README...
comment by IncRnd · 2023-02-27 · in Idris 2 0.6.0 is now available for the JVM -
▲ 162
Idris 2 0.6.0 is now available for the JVMstory by ska80 · 2023-02-27 · 64 comments
-
Frustrated Scala users take note: Idris can compile to JVM bytecode ( https://github.com/mmhelloworld/idris-jvm ), JavaScript (displacing Scala.js), and native code (displacing Scala Native). Idris may be a very good choice for a…
comment by harveywi · 2017-06-16 · in Things that Idris improves things over Haskell