Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

How to help out? #2

Open
bts opened this issue Apr 27, 2020 · 2 comments
Open

How to help out? #2

bts opened this issue Apr 27, 2020 · 2 comments

Comments

@bts
Copy link

bts commented Apr 27, 2020

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

@lpw25
Copy link
Owner

lpw25 commented May 7, 2020

(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.

@bts
Copy link
Author

bts commented May 12, 2020

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants