On Dec 15, 2011, at 2:13 PM, Antoine Latter wrote:
> Isn't this what Ross previously suggested? I think his suggested
> instance methods for Maybe return the elements of the lists
> incrementally.
Yes and no. Yes, his excellent suggestion is one of my favorite ideas for what
we should do with Alternative that I have seen so far and was the inspiration
for my proposal, but no it is not the same idea at all. Whereas his suggestion
keeps the types and generic definitions of some and many the way that they are
but overrides them manually to work for types such as Maybe, my proposal is
that we instead change the types and generic definitions of some and many
themselves so that they automatically do the right thing for the Maybe and List
types.
To justify my idea in a different way, it seems to me that somehow some and
many somehow aren't lazy enough, because if they *were* lazy enough then we
wouldn't have to hack into them for some types (Maybe and List) in order to get
them to generate the infinite lazy lists that we were expecting.
Again, though, this is all crazy talk, and the only way to bring my epic vision
into creation might be through abundant use of magic fairy dust. :-)
Cheers,
Greg
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe