May be something You'll be interesting in researching

[JAremko]

May be something You'll be interesting in researching

[hellerve]

Having played around a bit with compiling Carp to Webassembly today, I can say that we are able to compile it just fine. We’ll have to change the emitter some to be able to achieve JS interoperability (which requires some assistance to emscripten through annotations), but that should be fairly simple to do. I’ll keep y’all posted.

[hellerve]

A quick note here: I haven’t worked on this since my initial explorations, so don’t expect me to come up with anything quickly. What I can say is that emcc works perfectly as a C compiler for our emitted code.

As I said earlier, it’s missing the annotations, though, and I need to read up on that and then find a good way to optionally make the emitter spit those out, too. I’m not sure how to do that gracefully yet.

I do not see any major roadblocks coming up, though, which is either very good or very bad!

[bjorn3]

+1 for WebAssembly

[eriksvedang]

These are all neat ideas. Unikernels seem really cool but it's not my expertise, so someone else will have to play around with that. The language should be a good fit for it though! If you want to experiment with Carp+WASM I can assist in the Gitter channel. Writing another emitter shouldn't be too hard, the current one is fairly small and straight forward (Emit.hs). Or you could use the emitted C code and pipe it into the web assembly compiler. Regarding dependent types I have some ideas for adding a little bit of support for it (think sized arrays), but the design of Carp is meant to be simple, so it definitely won't be another Idris / Agda.

[cwervo]

I initially came the Carp issues section to suggest WebAssembly support, really excited to see @hellerve's commetn, can't wait to see what comes of it!!

[hellerve]

Another note on WASM: @JAremko has been so kind to provide us with an Emscripten-ready Dockerfile that you can look at on Github or Dockerhub.