Doing some, er, Boring Idris.https://github.com/edwinb/IdrisApp/blob/master/tests/TestEx.idr …
-
Show this thread
-
It's so tempting to write libraries that can do All The Things, but really I just want something a bit like an IO monad in Haskell but with the ability to easily add exceptions and internal state.
3 replies 0 retweets 9 likesShow this thread -
Replying to @edwinbrady
I could be wrong, but I believe that ZIO in Scala is being praised for the ease with which it does this.
1 reply 0 retweets 0 likes
Replying to @DrEigenbastard
I'm a bit out of touch with Scala at the moment, I'll take a look! We definitely need A Thing something like this that allows composable libraries in a nice way.
2:57 PM - 6 Jan 2020
0 replies
0 retweets
1 like
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.