-
Notifications
You must be signed in to change notification settings - Fork 11
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
Instance for Eff
?
#7
Comments
I think it's a reasonable law that |
That law does not necessarily hold for Aff. |
In fact it doesn't hold for anything that supports synchronicity on platforms without multithreading. |
Is the suggested instance |
The suggested instance is implemented via the FFI, such that a platform that has true multithreading could have a better implementation. |
But yes, for the JS platform, that's what it would be. |
I'm guessing this issue applies to |
Is there a reason for there to not be an instance for
Eff
proper? I know in JS its "technically" not parallel. But ifEff
was implemented on a true multi-threaded platform like the JVM, it definitely would be possible. Also I'd argue that aMonadPar
instance forEff
is no different thanMonadPar
forAff
where youliftEff
everything.The text was updated successfully, but these errors were encountered: