mmhelloworld
HomePostsTagsAbout
Home
Posts
Tags
About
Type a keyword to search posts
Marimuthu Madasamy

Marimuthu Madasamy

The Joy of Programming!

9 Posts

Tags

JVM(7)Idris(6)Java(5)Frege(2)Android(1)Haskell(1)Nashorn(1)GHCJS(1)

Posts

2024(1)
  • Idris JVM 0.7.0 Release
2021(1)
  • Idris 2 Initial Release 0.2.1 for the JVM
2020(1)
  • Idris 2 Bootstrap Compiler on the JVM with a JVM backend
2018(1)
  • Idris JVM: Automated FFI with null safety and exception handling
2017(2)
  • Idris JVM: Guarding against Java null using Maybe type
  • Introducing Idris on the JVM and an Idris Android example
2016(1)
  • Haskell on the JVM via GHCJS and Nashorn
2014(1)
  • Frege: Record accessors and mutators
2013(1)
  • Frege: Hello Java

Tag: GHCJS(1 posts)

All Posts

2016-02-271329 words7 min read

Haskell on the JVM via GHCJS and Nashorn

Currently there are 2 ways we can write Haskell on the JVM:

more...
HaskellJVMNashornGHCJS
Marimuthu Madasamy

Marimuthu Madasamy

The Joy of Programming!

9 Posts

Tags

JVM(7)Idris(6)Java(5)Frege(2)Android(1)Haskell(1)Nashorn(1)GHCJS(1)

Posts

2024(1)
  • Idris JVM 0.7.0 Release
2021(1)
  • Idris 2 Initial Release 0.2.1 for the JVM
2020(1)
  • Idris 2 Bootstrap Compiler on the JVM with a JVM backend
2018(1)
  • Idris JVM: Automated FFI with null safety and exception handling
2017(2)
  • Idris JVM: Guarding against Java null using Maybe type
  • Introducing Idris on the JVM and an Idris Android example
2016(1)
  • Haskell on the JVM via GHCJS and Nashorn
2014(1)
  • Frege: Record accessors and mutators
2013(1)
  • Frege: Hello Java
9 posts
© 2013 - 2026 Marimuthu Madasamy
HomePostsTagsAbout