Dear type level tweeps, is there something like MVar or TVar in @idrislang? I want to manage internal state with IO.
-
-
Nice! I'll try to get that running.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I don't see atomicModifyIORef in https://github.com/idris-lang/Idris-dev/blob/master/libs/base/Data/IORef.idr … Without it, MVar seems hard, do we need to worry about memory barriers?
-
Come to think of it, MVar is mostly hard because Idris has a separate heap for each thread… so IORef probably won’t help anyway.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.