Idris2 backend?

[JoeyEremondi]

I'm wondering if you've been following the development of Idris 2 at all, it seems like an excellent match for GRIN.
Basically, Idris2 makes it extremely simple to write your own backends for Idris: https://idris2.readthedocs.io/en/latest/backends/custom.html

This might simplify some of what you're doing! I apologize if you're already aware of this.

[andorp]

Hi @JoeyEremondi

Yes, we are following the latest Idris2 advancements. Currently our main focus is around the GHC-WPC and External STG [1] which is a better fit for a possible Idris2 backend. Recently I started to write the External STG backend for Idris2 as an experiment (not much progress so far). In the long term that could lead Idris2 and Haskell interop (but no promises here). If that succeeds probably the Idris-GRIN will be abandoned.

As a roadmap: We concentrate on GHC and External STG, which later on could be compiled to the Lambda IR of the GRIN thesis, and Lambda could be compiled further to GRIN.

If you are interested in some collaboration please let us know.

[1] https://github.com/grin-compiler/ghc-whole-program-compiler-project

[GunpowderGuy]

@andorp any progress on that? is grin still trying to target languages other than haskell?

[andorp]

There is a development of Idris2-GRIN by @Z-snails https://github.com/Z-snails/Idris2-Grin