New draft: State Machines All The Way Down. Comments welcome, as ever :).https://edwinb.wordpress.com/2016/10/21/state-machines-all-the-way-down/ …
-
-
Replying to @edwinbrady
“Other than the absence of Put and (>>=) […]” (p. 6) should be “Pure and (>>=)”
1 reply 0 retweets 0 likes -
-
Replying to @edwinbrady
I'd like to see the definitions of None (https://github.com/edwinb/States/blob/99b7009ee162d57d01de6201d30e6641653b7d95/src/States.idr#L21 …) and State (https://github.com/edwinb/States/blob/99b7009ee162d57d01de6201d30e6641653b7d95/src/States.idr#L44 …) included as well
2 replies 0 retweets 0 likes -
Replying to @Iceland_jack
Not possible in the space available, I’m afraid. I had to cut out loads. It’s all in the source, at least.
1 reply 0 retweets 0 likes
Replying to @edwinbrady @Iceland_jack
Fortunately neither are necessary for using the system (or really very much for understanding the internals)
7:25 AM - 22 Oct 2016
0 replies
0 retweets
1 like
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.