Simon Cruanes

Hola! I think it's an interesting idea, if you're willing to implement it (reusing the parser and AST, of course). There are lots of questions around the best way to...

Great! For maps (or even lists), I imagine it's reasonable to allow the generated code to allocate at least a bit (this is not flatbuffers/capnproto!). So I think something like...

Sample use cases: - basic evaluators (`bc`, etc.) that have no need of sandboxing - plugins that call `uptime`, `df`, etc. - plugins in other langages

cc @reynir

I think it would be really cool if plugins did not have to handle this at all! Just one plugin instance per channel; the core system stores one plugin state...

please git pull first, I updated to dune already.

You mean sum types? See the module `Lambda` in `example/all.ml`, there are combinators `sum` and `sum_fix` precisely for that. edit: if it's for an encoder/decoder of toml, you can look...

Yes I see, that's interesting indeed. I didn't think of that case because usually, people use polymorphism ^^. The first thing I can think of, would be to write an...

I suppose a `ppx_deriving_toml` would indeed have the same issue, at least if it tried to provide polymorphic encoders. It could match monomorphic types ("if ty=int list then ... else...

In a [project of mine](https://github.com/c-cube/stimsym/tree/master/src/ipython), I took some code from IOCaml to get a jupyter interface (for something that is not OCaml). I replaced the local bindings to zmq by...