Re: Adding an ignore function to Control.Monad

newer
Re: [Haskell-cafe] Improving event...

older
Quickcheck for common typeclass...

Jeff Wheeler

11 Jul 2009 11 Jul '09

7:35 a.m.

On Fri, Jul 10, 2009 at 10:10 PM, Don Stewart wrote:

...

...
## Control.Monad.void m a -> m () Don Stewart Iavor Diatchki

For whatever it's worth, I prefer void as well, for the exact reason Don said. Indeed, 'ignore' indicates to me that the argument won't even be evaluated: it'll be ignored, and skipped. But it is, and only part --- the result --- is ignored. What about 'void' with functors? Jeff Wheeler

Show replies by date

Johan Tibell

11 Jul 11 Jul

8:05 a.m.

New subject: Adding an ignore function to Control.Monad

On Sat, Jul 11, 2009 at 9:35 AM, Jeff Wheeler wrote:

...

On Fri, Jul 10, 2009 at 10:10 PM, Don Stewart wrote:

...
...
## Control.Monad.void m a -> m () Don Stewart Iavor Diatchki

For whatever it's worth, I prefer void as well, for the exact reason Don said. Indeed, 'ignore' indicates to me that the argument won't even be evaluated: it'll be ignored, and skipped. But it is, and only part --- the result --- is ignored.

I also think void is clearer than ignore. -- Johan

Stephan Friedrichs

8:25 a.m.

New subject: Adding an ignore function to Control.Monad

Johan Tibell wrote:

...

[...]

I also think void is clearer than ignore.

So do I. Another point is, that it's familiar from other languages; a function "void f(...)" doesn't return anything but may have an effect on the environment. Stephan -- Früher hieß es ja: Ich denke, also bin ich. Heute weiß man: Es geht auch so. - Dieter Nuhr

Malcolm Wallace

9:58 a.m.

New subject: Adding an ignore function to Control.Monad

...

Johan Tibell wrote:

...
[...]

I also think void is clearer than ignore.

So do I. Another point is, that it's familiar from other languages; a function "void f(...)" doesn't return anything but may have an effect on the environment.

+1. Regards, Malcolm

Magnus Therning

12 Jul 12 Jul

8:12 a.m.

New subject: Adding an ignore function to Control.Monad

Stephan Friedrichs wrote:

...

Johan Tibell wrote:

...
[...]

I also think void is clearer than ignore.

So do I. Another point is, that it's familiar from other languages; a function "void f(...)" doesn't return anything but may have an effect on the environment.

That depends on what languages you are familiar with, of course. To me void is a type (C/C++) while ignore is a function (OCaml) ;-) /M -- Magnus Therning (OpenPGP: 0xAB4DFBA4) magnus＠therning．org Jabber: magnus＠therning．org http://therning.org/magnus identi.ca|twitter: magthe

Bulat Ziganshin

8:25 a.m.

New subject: Re[2]: Re: Adding an ignore function to Control.Monad

Hello Magnus, Sunday, July 12, 2009, 12:12:01 PM, you wrote:

...

That depends on what languages you are familiar with, of course. To me void is a type (C/C++) while ignore is a function (OCaml) ;-)

you can write "(void)" :) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

Henning Thielemann

14 Aug 14 Aug

5:43 p.m.

New subject: Adding an ignore function to Control.Monad

On Sun, 12 Jul 2009, Magnus Therning wrote:

...

Stephan Friedrichs wrote:

...
Johan Tibell wrote:

...
[...]

I also think void is clearer than ignore.

So do I. Another point is, that it's familiar from other languages; a function "void f(...)" doesn't return anything but may have an effect on the environment.

That depends on what languages you are familiar with, of course. To me void is a type (C/C++) while ignore is a function (OCaml) ;-)

In the Modula-II derivative Cluster it is named FORGET, in Modula-3 it is named EVAL. http://www.henning-thielemann.de/Cluster/Handbuch.pdf http://www.cs.tut.fi/lintula/manual/modula3/m3defn/html/eval.html

Dan Doel

11 Jul 11 Jul

8:17 a.m.

New subject: Adding an ignore function to Control.Monad

On Saturday 11 July 2009 3:35:27 am Jeff Wheeler wrote:

...

On Fri, Jul 10, 2009 at 10:10 PM, Don Stewart wrote:

...
...
## Control.Monad.void m a -> m () Don Stewart Iavor Diatchki

For whatever it's worth, I prefer void as well, for the exact reason Don said. Indeed, 'ignore' indicates to me that the argument won't even be evaluated: it'll be ignored, and skipped. But it is, and only part --- the result --- is ignored.

What about 'void' with functors?

Perhaps it should be noted that 'void' is sometimes associated with the type: data Void the 'empty' type (which isn't empty in Haskell). In typical catamorphism style, void would be its eliminator: void :: forall a. Void -> a void _ = undefined -- if you're writing Agda -- void () This, doesn't see much use in Haskell, though, so perhaps it's irrelevant. -- Dan

5807

Age (days ago)

5841

Last active (days ago)

List overview

Download

7 comments

8 participants

participants (8)

Bulat Ziganshin
Dan Doel
Henning Thielemann
Jeff Wheeler
Johan Tibell
Magnus Therning
Malcolm Wallace
Stephan Friedrichs