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.

Sign up for GitHub

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

Jump to bottom

Experimental gen_server API #18

Open
NicolasT opened this issue Mar 22, 2023 · 0 comments
Open

Experimental gen_server API #18

NicolasT opened this issue Mar 22, 2023 · 0 comments

Comments

@NicolasT
Copy link
Owner

Some experimentation to have something alike gen_server would be useful. I particularly like Drama's usage of a GADT to specify the API (call arguments and return type) of such service, so adopting that seems like a good idea. Of course this diverges from Erlang, but that's fine: this library is supposed to be Haskell'y wherever possible.
@NicolasT NicolasT added good first issue Good for newcomers and removed good first issue Good for newcomers labels Mar 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@NicolasT