@edwinb@types.pl@edwinbrady·Feb 9, 2019Just solved an annoying problem by using exceptions for control flow, because I'm a grown up now so I can do what I like. So there.1121177
Brendan Zabarauskas@brendanzabReplying to @edwinbradybasically effects and handlers right?10:21 PM · Feb 9, 2019·Twitter Web Client1 Like
@edwinb@types.pl@edwinbrady·Feb 9, 2019Replying to @brendanzabHeh, 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...1