mmhelloworld
Home Posts Tags About
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: Frege (2 posts)

All Posts

2014-03-15 617 words 4 min read

Frege: Record accessors and mutators

Frege has built-in mechanism to access and mutate (non-destructive) record fields.

more...
Frege
2013-07-10 1364 words 7 min read

Frege: Hello Java

Here is a small code demonstrating Java interoperability in Frege:

more...
Frege Java
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
Home Posts Tags About