Idris and ASMJS?

[philip andrew]

Hi,

Could Idris make use of ASMJS to make it faster within Javascript execution environment?

It says "For complex applications (such as the above games) performance is only around 2x slower than normally-compiled C++"

http://ejohn.org/blog/asmjs-javascript-compile-target/

Thanks,

Philip

[raichoo]

Hi,

I've been thinking about asmjs for a while but at the moment I don't

think it's worth targeting it. The problem is that I still have to

figure out a way to handle FFI for the Javascript backend.

Currently there is no way to call a higher order function via the

FFI. So before making Idris produce faster code I think the backend

should be able to make use of Javascript's HOFs.

Kind regards.

--
You received this message because you are subscribed to the Google Groups "Idris Programming Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to idris-lang+...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.