Re: [Haskell-cafe] Newbie syntax question

2005-09-18 Thread Yitzchak Gale
Hi, Andre, map (foo 5) my_list_of_lists_of_doubles ...But how to do that (if possible) when I invert the parameters list ?! Let me add one more solution, and then summarize: The problem disapears if you use a list comprehension instead of map: [foo x 5 | x - my_list_of_lists_of_doubles]

Re: [Haskell-cafe] Newbie syntax question

2005-09-18 Thread Marc Ziegert
map (foo 5) my_list_of_lists_of_doubles 1. map (flip foo 5) my_list_of_lists_of_doubles 2. map (`foo` 5) my_list_of_lists_of_doubles 3. map (\x-foo x 5) my_list_of_lists_of_doubles 4. [foo x 5 | x - my_list_of_lists_of_doubles] well, i've followed this discussion a while, but i did not see

Re: [Haskell-cafe] Eq Type Class: Overloading (==)

2005-09-18 Thread Robert Dockins
On Sunday 18 September 2005 07:59 am, Tom Hawkins wrote: Aaron Denney wrote: On 2005-09-17, Jason Dagit [EMAIL PROTECTED] wrote: A link to supertyping can be found here: http://repetae.net/john/recent/out/supertyping.html After reading that, I wonder why it's not implemented. Not

Re: [Haskell-cafe] Eq Type Class: Overloading (==)

2005-09-18 Thread John Meacham
On Fri, Sep 16, 2005 at 11:14:14PM -0700, Jason Dagit wrote: This reminds me that several times now I've wished that Bool was some sort of interface instead of a type. Perhaps Bool could be a type class? I also wish that if were a function, but that's probably just the lisper in me

[Haskell-cafe] Re: Eq Type Class: Overloading (==)

2005-09-18 Thread Aaron Denney
On 2005-09-18, Tom Hawkins [EMAIL PROTECTED] wrote: I like the idea of supertyping, but wouldn't that only allow you to alter identifiers that were already classified? Correct. What about functions in the Prelude that don't belong to a type class? Nope. -- Aaron Denney --

Re: [Haskell-cafe] generics question, logical variables

2005-09-18 Thread Frederik Eaton
Hi Ralf, I'm revisiting this project and just have another question. The story seems to be that GHC cannot derive Typeable1, or Typeable when Typeable1 is available - so anyone who wants to use ext1Q must define special instances for all of the datatypes they use, is this correct? Will this

Re: [Haskell-cafe] How to debug GHC

2005-09-18 Thread Frederik Eaton
It could be a bug - can you reduce the example and report it? GHC's profiler tries to overlay a lexical call graph on to the dynamic execution of the program. It does this more or less in the way you described before: every function gets an extra argument describing the call context.

RE: [Haskell-cafe] generics question, logical variables

2005-09-18 Thread Ralf Lammel
Hi Frederik, [I call this the dreadful lack of kind polymorphism strikes back :-)] I put SPJ on cc; perhaps he can suggest a way to improve in this area. Based on input, I could try to work on this issue in the not so remote future. Let me briefly recapitulate. My recollection is that deriving