I'm quite pleased with how clean the usage of Flying Spaghetti Monster's verified protocols is. https://github.com/ctford/flying-spaghetti-monster … #Idris
This is very nice. I reckon you should also be able to use a bit of error reflection to tidy up the messages.
-
-
I wonder what it’d take to extend it to support operations which might fail (e.g. door jams). It looks like it should be possible.
-
I've added that to my todo list. I think I can see how to do it.
- 2 more replies
New conversation -
-
-
Thanks for the pointer. I hadn't realised error reflection was a thing.
-
also, Chapter 8 of this: http://davidchristiansen.dk/david-christiansen-phd.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.