@raichoo I never liked monad transformers in the first place. Still not keen on monads distorting the *syntax* of my programs.
-
This Tweet is unavailable.
-
-
This Tweet is unavailable.
-
Replying to @raichoo
@raichoo@pigworker I mostly like@edwinbrady's bang syntax for monads, and idiom brackets are great!2 replies 0 retweets 2 likes -
This Tweet is unavailable.
-
Replying to @raichoo
@raichoo@copumpkin@pigworker I have been wanting to eliminate the !s, and I'm sure it can be done, but it seems to scare people a lot.2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady can't find monad bang syntax in idris docs or Google, where can I find example?1 reply 0 retweets 0 likes
Replying to @KenScambler
@KenScambler Apparently I've forgotten to document it. Here's some: https://github.com/edwinb/idris-demos/blob/master/Effects/FileTest.idr … Just desugars to binds.
1:42 AM - 20 Feb 2014
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.