What is the current status?

[ethanfrey]

I came across this project as an experimental idris -> wasm compiler a year or two ago. And saw the related https://github.com/SPY/haskell-wasm

I recently actually started working much with wasm (compiling from rust due to excellent tooling for that). And was curious as to the state of being able to use a purely functional language (ideally Idris to allow many proofs). It seems this project is more or less frozen for a while.

What are your current plans on this? I assume there is a lack of time and/or funding. Is there concrete support you would need to complete this? (Maybe I can organize some help there)

[SPY]

Hi @ethanfrey

You can treat this project like a proof-of-concept. I stopped development of this project back in 2018 due to the appearance of Idris 2(Blodwen back there). It looked like dead end direction to keep developing backend for Idris 1. I still bear a dream to start porting my experience to Idris 2, but besides implementation of backend it requires wasm lib for Idris itself(Idris 2 is written with Idris). Biggest piece I left to implement is FFI support(last piece before usage in real-world cases). If you would like to improve current implementation in any way I will be glad to help and maybe introduce some design solutions and code structure.

[ethanfrey]

Thank you for the feedback. And good to know the state of things.

I will take more look into idris 2 backends as well. But that is a good explanation of why it halted. Rather than some technical block or lack of time.