Re: Adding an ignore function to Control.Monad

On Thu, 11 Jun 2009, David Menendez wrote:

On Thu, Jun 11, 2009 at 2:57 PM, Henning Thielemann wrote:

...

On Thu, 11 Jun 2009, David Menendez wrote:

...

Again, why do you think that? I much prefer the current syntax.

http://haskell.org/haskellwiki/Restrict_type_of_monadic_binding http://haskell.org/haskellwiki/Do_notation_considered_harmful#Safety

Aside from assertions that this is a bad thing because you say so, what evidence do we have that this is a problem?

The example on the Wiki is ExitCode. It is commonly ignored, but it must be respected, since its value tells whether it makes sense to continue with other actions. Not a good example? I can also ask the question, what are commonly results that you like to ignore by default where ignoring is the right thing? It's quite easy to add 'ignore' where necessary and it safes us from ignoring a result by accident. Avoiding errors is the goal of using types, isn't it?