Adding an ignore function to Control.Monad

Neil Mitchell ndmitchell at gmail.com
Thu Jul 2 02:26:45 EDT 2009


void is the wrong name, wrong type, wrong purpose and wrong module. We
could fix all those things, but I think we should just add ignore as
previously agreed (+1 for that)

Thanks, Neil

On Thu, Jul 2, 2009 at 4:11 AM, Isaac
Dupree<ml at isaac.cedarswampstudios.org> wrote:
> Gwern Branwen wrote:
>>
>> Since then, Don Stewart has pointed out
>> http://hackage.haskell.org/trac/ghc/ticket/3292 that there is a very
>> similar function specified in the FFI standard
>> http://www.cse.unsw.edu.au/~chak/haskell/ffi/ffi/ffise5.html#x8-350005.10
>> - 'void     :: IO a -> IO ()'.
>
> Are we willing to change (generalize) the type of
> Foreign.Marshal.Error.void?  If so, we could export (void :: Functor m => m
> a -> m ()) from both Control.Monad and F.M.E (if we wanted to).  If we're
> not willing, then I think it would be a bit more convenient to name them
> different things (so that if you import both modules you don't get a
> name-conflict for using 'void').
>
> I vote to just name it Control.Monad.ignore .  Many people independently
> invented the name "ignore" in their own projects.  Also I suspect the name
> "void" in FFI has some etymology in C's equivalent, casting expressions to
> void (eg: (void)printf(something); ) which I doubt most haskell coders care
> about most of the time?
>
> -Isaac
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>


More information about the Libraries mailing list