[Haskell-cafe] "add ifM and whenM to Control.Monad" and other discussions like that
alex.solla at gmail.com
Tue Apr 22 00:22:28 UTC 2014
On Mon, Apr 21, 2014 at 3:39 PM, Yuri de Wit <ydewit at gmail.com> wrote:
> 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?
It has been discussed.
There is no clear consensus, but it is on the docket for consideration for
a future version of the Haskell standard.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe