Stateful types for the sockets API… worked first time once it type checked :) https://github.com/edwinb/States/blob/master/examples/Net/Network.idr …
-
-
-
-
Replying to @clementd
this is basically for managing low level stuff with unavoidable external state. Also for dealing with rules/protocols.
1 reply 0 retweets 1 like -
Replying to @edwinbrady
in a somehow related note, what paper would you recommend on session types ?
2 replies 0 retweets 0 likes -
-
That covers what you need to know, yes! (Also, there can be only one way you got hold of that at this stage :))
2 replies 0 retweets 0 likes -
Replying to @edwinbrady @clementd
Yeah, very few remarks in the queue (you did a great job)
1 reply 0 retweets 2 likes
I look forward to hearing people’s thoughts :)
11:35 AM - 13 Oct 2016
0 replies
0 retweets
2 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.