
11 Jul
2009
11 Jul
'09
4:05 a.m.
On Sat, Jul 11, 2009 at 9:35 AM, Jeff Wheeler
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