Marimuthu Madasamy

Happy to announce #Idris #JVM 0.7.0 Release! mmhelloworld.github.io/blog/2024/07/1…. This release enables #Java to call Idris functions and makes it possible to even write complete Spring Boot application in Idris!

Happy to announce #Idris 0.6.0 for the #JVM. It is available in Github and Maven. * Github: github.com/mmhelloworld/i… * Maven: #view-repositories;releases~browsestorage~/io/github/mmhelloworld/idris-jvm-compiler/0.6.0/idris-jvm-compiler-0.6.0.zip" target="_blank" rel="nofollow noopener">oss.sonatype.org/index.html#vie…

Hi everyone! We are having another Idris Developer Meeting: 5th - 9th of December! More details here: github.com/idris-lang/Idr…

#Idris #JVM compiler is now available on Maven central repository repo1.maven.org/maven2/io/gith…

#Idris 2 #JVM backend now supports latest Idris 2 version 0.5.1 github.com/mmhelloworld/i…

Happy to announce the initial release for #Idris 2 0.3.0 for the #JVM github.com/mmhelloworld/i….

@kristleifur Yes, Idris plugin should be bit more easier now that Idris compiler and REPL can run on the JVM. I'd be happy to help wherever possible with JVM backend. Current goal is to compile latest Idris 2 for the JVM.

@marimuthum Bravo!! 👏 If I understand correctly, an Idris plugin for IntelliJ IDEA could be built on top of this? It’s… ”REPL-complete”? Tried the usual way of writing a parser for an Idris IntelliJ plugin. ANTLR iirc? It was… 🥵 well, I gave up having idris2 on the jvm is great!

Happy to announce initial #Idris 2 version (0.2.1) on the #JVM: groups.google.com/g/idris-lang/c…

@ramsankar83 Bit of both. Primarily for personal use but I remote into work machine. The one I have comes with Ubuntu preinstalled.

@marimuthum Are you using it as work machine or personal machine? Did you buy with Ubuntu out of the box or bought it with DOS/Windows and removed it then installed Ubuntu?

Can relate to this :-( #linux Especially with external monitors projectors and office communication, work tools etc still waiting for the year if linux in desktop

A new version of Idris 2, 0.3.0 has been released. See idris-lang.org/idris-2-versio… for details.

Excited to share that #Idris 2 bootstrap compiler now runs on the #JVM with a JVM backend! mmhelloworld.github.io/blog/2020/12/3…

Periodic reminder that I'm recruiting PhD students at CMU! If you're interested in the intersection of distributed systems, programming models/languages, and some machine learning, don't hesitate to reach out! heather.miller.am

Just got #Idris 2 bootstrap compiler running on the JVM along with a JVM bytecode backend for it running a simple program. Idris 2 on the JVM hopefully coming soon!

Debugging Idris 2 on the JVM with Java debugger :) Still a long way to go compiling all the Idris 2 primitives to the JVM but excited to see initial function application work with debug information in the generated bytecode:

Current status: Bootstrapping Idris 2 with JVM

@TimSweeneyEpic Java: void printXY(int n) { IntStream.range(0, n) .boxed() .reduce(Stream.of(""), (acc, i) -> acc.flatMap(s -> Stream.of(s + "X", s + "Y")), Stream::concat) .forEach(System.out::println); }

Here's a neat test of programming language expressiveness: Can you write a function PrintXY taking an integer n>=0 that prints all strings of length n containing only the characters 'X' and 'Y'? Can you do it without recursion, and without assuming n<=64? Is it readable?

"Programming in Haskell" is now available online for free (yes, as in beer) until May 31st! cambridge.org/core/books/pro…