ocaml-typed-effects icon indicating copy to clipboard operation
ocaml-typed-effects copied to clipboard

How to help out?

Open bts opened this issue 4 years ago • 2 comments

Hi Leo,

I was wondering if this repo contains the latest work on typed algebraic effects for OCaml, and how a newcomer might help out with work that still needs to be done?

Thank you! Brian

bts avatar Apr 27 '20 20:04 bts

(Sorry for the slow reply)

It has the most recent attempt to implement a prototype of typed algebraic effects for OCaml, but my design for adding algebraic effects to OCaml has evolved significantly since it was written.

It is difficult for me to see how other people can usefully contribute at the moment. My intended design is not written down anywhere. Some key aspects of the design constitute novel research which are in the gradual process of being turned into a couple of papers.

We've started allocate some resources towards finishing this work at Jane Street. So I think this will change over the next year and we'll probably get to a state where others can usefully contribute. But right now I'm not sure there is much you can do.

lpw25 avatar May 07 '20 12:05 lpw25

Hi Leo,

Thanks so much for taking the time to reply. I'm super excited to hear that you/Jane Street are working on this. When you get to a place where you can use some help from the community, definitely feel free to reach out to me.

Thanks! Brian

bts avatar May 12 '20 18:05 bts