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
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
On Fri, Jul 10, 2009 at 10:10 PM, Don Stewartd...@galois.com 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
On Sat, Jul 11, 2009 at 9:35 AM, Jeff Wheeler j...@nokrev.com wrote:
On Fri, Jul 10, 2009 at 10:10 PM, Don Stewartd...@galois.com 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,
On Saturday 11 July 2009 3:35:27 am Jeff Wheeler wrote:
On Fri, Jul 10, 2009 at 10:10 PM, Don Stewartd...@galois.com 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'
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
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