Trying some evil syntax for monad binding. This is probably a bad idea, but I'm having fun... http://lpaste.net/94393 http://lpaste.net/94387
-
-
Replying to @edwinbrady
@edwinbrady Looks quite reasonable to me. Though in a language like Frank you can do the same thing without the bangs returns or do notation1 reply 0 retweets 1 like -
Replying to @reifyreflect
@reifyreflect I would like to do that eventually. It feels like it doesn't play nicely with some other features Idris has though.1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady I can believe that. First class thunks are helpful1 reply 0 retweets 1 like
Replying to @reifyreflect
@reifyreflect I'm not giving up on the idea though :).
4:18 PM - 17 Oct 2013
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.