[Haskell-cafe] "add ifM and whenM to Control.Monad" and other discussions like that

Yuri de Wit ydewit at gmail.com
Mon Apr 21 22:39:30 UTC 2014

I haven't been around for long in the Haskell community, but I have seen a
few of these discussions taking long email rounds in different mailing

I don't have a strong opinion at this point to add my vote here or there
one way or the other, and I do appreciate the effort made by everyone to
find a sort of consensus, as hard as that can be sometimes.

However, the question I keep asking myself is why can't the compiler
disambiguate between two definitions with the same name based on the actual
argument types?

This would allow packages to choose their own names for functions without
such global-naming discussions and without much pain when using them.


> import PackageA (when)
> import PackageB (when)

> when (Just True) doSomething


> when True 1

Is there a theoretical or practical issue that makes this an undesirable
feature in Haskell?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140421/790c05de/attachment.html>

More information about the Haskell-Cafe mailing list