Possibly about to abandon the Effects chapter of TypeDD and properly explain the principles behind it instead. Much more useful, I think...
doesn’t need an Effects library chapter to do that… better to explain resource tracking in types generally
-
-
Fair enough. Resource tracking in a multi threaded setting? Type check race between hGetLine & hClose? Concurrent resource FSMs?
-
Files are hard like that. I’ll do some state machines and Hangman. Sticking to the basic principles.
- 3 more replies
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.