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
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.
-
Added a kind of error handling, but only as alt actions. Doesn't capture having to cope with errors yet. https://github.com/ctford/flying-spaghetti-monster/blob/master/Example.idr …
- 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.