@edwinbrady Don't know if you saw my question about mutable IO/STRef things in Idris on mailing list? Just to know if you've got hints! thks
I’m unlikely to do it in the near future, so it would certainly be a welcome contribution - the RTS currently has no support for it
-
-
is it to rethink completely following some ideas or concepts you've got (papers?) or get inspiration from GHC implementations?
-
I don’t think it needs to do anything clever or new. Mutable things might affect GC assumptions though
- 1 more reply
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.