@edwinbrady I did a similar thing for Scala using macros:https://github.com/pelotom/effectful …
-
-
-
@pelotom Yes, someone pointed me at that an hour or so ago. Independent use of '!' is pleasing :). - 8 more replies
New conversation -
-
-
@edwinbrady That certainly looks evil. -
@djahandarie For the implementor, certainly. Hopefully not for the programmer. If I can explain it... - 4 more replies
New conversation -
-
-
@edwinbrady Looks quite reasonable to me. Though in a language like Frank you can do the same thing without the bangs returns or do notation -
@reifyreflect I would like to do that eventually. It feels like it doesn't play nicely with some other features Idris has though. - 2 more replies
New conversation -
-
-
@fmapE Yes, I suppose so... I started with "Evil" though so wasn't thinking quite right...Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady If it also worked with Applicatives a la http://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo … it would be more awesome than evil -
@dyokomizo yeah, I'm not sure that quite works. I'll play a bit more.
End of conversation
New conversation -
-
-
@edwinbrady are the bangs a sort of magic applicative lift? -
@cartazio monadic, rather than applicative. It's just doing the appropriate binds so you don't have to.
End of conversation
New conversation -
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.