Possibly about to abandon the Effects chapter of TypeDD and properly explain the principles behind it instead. Much more useful, I think...
Files are hard like that. I’ll do some state machines and Hangman. Sticking to the basic principles.
-
-
Although I am planning an example of type safe message passing concurrency too
-
Seen the Haskell embedded session types HS'16 paper? Loosely related to Idris type safe message passing? http://homepages.inf.ed.ac.uk/slindley/papers/gvhs-draft-june2016.pdf …
- 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.