Coproducts? about concat HOT 2 OPEN

I implemented translation support for coproducts in an earlier version of the CtoC plugin, and it wasn't complicated. I haven't gotten around to it for the current implementation. I guess I'm waiting for a fun use case. Do you have one in mind?

from concat.

Hi Conal,

thanks for the answer!
Indeed I do have a use :D It's not really "useful" but I certainly find it "fun"(ny).
I'm actually writing a... Haskell to C++ compiler, using your plugin.
The Cartesian Closed part is already working (at least for the simple examples I tried), together with part of NumCat.

Check it out: https://github.com/kbr-/concat-cpp
Running it produces a C++ program (which doesn't output anything: it evaluates an expression translated form Haskell inside main, just for me to check that it compiles). It requires the lib.h file (from the repo) and the boost variant library. I tested it with g++ v6.3.0.

The compiler is currently very stupid, producing some unnecessary lambdas etc. These can be eliminated with better implementations of the categories. But I just wanted to prove that it's doable for now.

from concat.