mmhelloworld/idris-jvm

idris on the browser?

Closed this issue · 9 comments

viebel commented

So cool that you were able to make idris on the jvm!!!

If you can make it on javascript, we will be able to run idris in the browser and it will be great for educational purposes. We could have interactive tutorial about idris like this scheme tutorial.

mmhelloworld commented

Hi,

Thank you!

JavaScript backend is already supported by Idris itself. Please see here: https://github.com/idris-lang/Idris-dev/blob/master/docs/reference/codegen.rst.

viebel commented

And now the 1.000.000 dollars question:
Is it possible to have an Idris evaluator in javascript i.e. to have javascript code that knows to evaluate Idris code?

  • 👍1
mmhelloworld commented

I am not sure as I haven't used JavaScript back end.

viebel commented

Can Idris evaluates itself?

bamboo commented

@viebel I think I recall someone reporting to have successfully compiled Idris with GHCJS.

  • 🎉1
viebel commented

wow that's amazing @bamboo. But I need more details about it...

mmhelloworld commented

That is really cool. Thanks @bamboo for the link.