Re: Suggestion regarding (.) and map

2008-04-25 Thread apfelmus
Dan Doel wrote: If you do want to generalize (.), you have to decide whether you want to generalize it as composition of arrows, or as functor application. The former isn't a special case of the latter (with the current Functor, at least). By annotating functors with the category they

Re: Suggestion regarding (.) and map

2008-04-24 Thread Wolfgang Jeltsch
Am Mittwoch, 23. April 2008 23:55 schrieb Cale Gibbard: […] Rename fmap to map This would be really great! There is no point in having a map just for lists and a general map for functors since the list map is the same as the list instance’s functor map. And identifiers with a single

Re: Suggestion regarding (.) and map

2008-04-24 Thread Cale Gibbard
2008/4/24 Wolfgang Jeltsch [EMAIL PROTECTED]: Am Mittwoch, 23. April 2008 23:55 schrieb Cale Gibbard: […] Rename fmap to map This would be really great! There is no point in having a map just for lists and a general map for functors since the list map is the same as the list

Re: Suggestion regarding (.) and map

2008-04-24 Thread Dan Doel
On Thursday 24 April 2008, Wolfgang Jeltsch wrote: I don’t think that this is reasonable. (.) corresponds to the little circle in math which is a composition. So (.) = () would be far better. Were I building a library, this might be the direction I'd take things. They're two incompatible

Re: Suggestion regarding (.) and map

2008-04-24 Thread Cale Gibbard
2008/4/24 Dan Doel [EMAIL PROTECTED]: On Thursday 24 April 2008, Wolfgang Jeltsch wrote: I don't think that this is reasonable. (.) corresponds to the little circle in math which is a composition. So (.) = () would be far better. Were I building a library, this might be the direction

Re: Suggestion regarding (.) and map

2008-04-24 Thread Twan van Laarhoven
Cale Gibbard wrote: Hello, In keeping with my small but seemingly extremely controversial suggestions for changes to the Prelude, here's a suggestion which I think is elegant and worth considering for the Haskell' Prelude: Rename fmap to map (like it was in Haskell 1.4), and define (.) as a

Re: Suggestion regarding (.) and map

2008-04-24 Thread Cale Gibbard
2008/4/24 Twan van Laarhoven [EMAIL PROTECTED]: Cale Gibbard wrote: Hello, In keeping with my small but seemingly extremely controversial suggestions for changes to the Prelude, here's a suggestion which I think is elegant and worth considering for the Haskell' Prelude: Rename

Re: Suggestion regarding (.) and map

2008-04-24 Thread David Menendez
On Thu, Apr 24, 2008 at 6:06 PM, Twan van Laarhoven [EMAIL PROTECTED] wrote: Cale Gibbard wrote: Hello, In keeping with my small but seemingly extremely controversial suggestions for changes to the Prelude, here's a suggestion which I think is elegant and worth considering for the

Re: Suggestion regarding (.) and map

2008-04-24 Thread Cale Gibbard
2008/4/24 David Menendez [EMAIL PROTECTED]: On Thu, Apr 24, 2008 at 6:06 PM, Twan van Laarhoven [EMAIL PROTECTED] wrote: Cale Gibbard wrote: Hello, In keeping with my small but seemingly extremely controversial suggestions for changes to the Prelude, here's a suggestion

Suggestion regarding (.) and map

2008-04-23 Thread Cale Gibbard
Hello, In keeping with my small but seemingly extremely controversial suggestions for changes to the Prelude, here's a suggestion which I think is elegant and worth considering for the Haskell' Prelude: Rename fmap to map (like it was in Haskell 1.4), and define (.) as a synonym for it.