basically effects and handlers right?
-
-
-
Heh, yes, kind of. This one was more a case of "dependent type checking needs weird stuff from time to time" but it still felt a bit like cheating...
End of conversation
New conversation -
-
-
recently at work we had to rewrite some c++ that used exceptions for control flow because of a bug in libc++ on macos.
-
I bet that was fun... At least in this case the receptive are implemented in Idris rather than the run time so I'm reasonably confident it behaves as it should!
End of conversation
New conversation -
-
-
Just express that in terms of shift and reset to give it the whiff of respectability
-
I was going to make the same joke. Glad I checked first if someone already beat me to it...
End of conversation
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
It's an early bed with no dessert for you! And no A-Team till your attitude improves!!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
All patterns deserve anti-patterns. There’s a difference between starting with exceptions for flow control and solving specific cases.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Checked Exceptions in Java?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.