@raichoo I never liked monad transformers in the first place. Still not keen on monads distorting the *syntax* of my programs.
@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.
-
-
@edwinbrady@raichoo@copumpkin@pigworker What, so I could just write putStrLn getLine, and the compiler would figure it you? -
@pdxleif In theory. We could work it out from the types. But I can see why that would scare people.@raichoo@copumpkin@pigworker - 4 more replies
New conversation -
-
-
@edwinbrady can't find monad bang syntax in idris docs or Google, where can I find example? -
@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.
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.