Atze van der Ploeg
Atze van der Ploeg
I cannot find the discussion, can you link it?
I'm confused with this difference, why is this necessary? What is the difference in the model? Is this due implementation details?
I see. Is there any documentation how your implementation works? On Jan 1, 2016 5:30 PM, "Heinrich Apfelmus" [email protected] wrote: > The two combinators are indistinguishable in the model implementation....
I presume that valueBLater does not immediately get the value, but creates a mutable cell which is filled in at the end of the moment with the correct value, and...
I'm a bit confused. Would this work (in pseudocode)? ``` haskell valueB b = scheduleForceAtEndOfMoment m >> return m where m = unsafePerformIO $ readValueOf b ``` This gives bottom...
I don't understand why readValueOf b might make calls to scheduleForceAtEndOfMoment. I assumed readValueOf b is just reading some mutable cell (which might change in the start of the _next_...
Also what do you mean with this? > ... This is because the IO type constructor is not a good MonadFix instance.
Thanks, I see now why it's hard in this setup. On Jan 4, 2016 1:00 AM, "Heinrich Apfelmus" [email protected] wrote: > Can you give an example where readValueOf b causes...
I agree that it works, but it's not pretty :) If you want to create a pull request for it, I'll merge it. Cheers
No reason, the OverloadedLabels extension did not exist yet when writing this library. Maybe you can create a pull request?