Dear type level tweeps, is there something like MVar or TVar in @idrislang? I want to manage internal state with IO.
-
-
Replying to @owickstrom @idrislang
I recently added IORef (it’s in master but not released), which you might be able to use as a primitive to make something fancier
2 replies 0 retweets 1 like -
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?
1 reply 0 retweets 1 like
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.
7:00 AM - 7 Oct 2017
0 replies
0 retweets
0 likes
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.