libraries to take SYB3 (using classes) into account...
Simon
| -Original Message-
| From: Ralf Lammel
| Sent: 19 September 2005 04:34
| To: [EMAIL PROTECTED]
| Cc: haskell-cafe@haskell.org; Simon Peyton-Jones
| Subject: RE: [Haskell-cafe] generics question, logical variables
|
| Hi Frederik
Ralf Lammel wrote:
Does anyone want to speak up and mention
scenarios that would benefit from kind
polymorphism? (In Haskell, we are likely to see
kind polymorphism, if at all, in the form of
type classes whose type parameters can be of
different, perhaps of all kinds.)
Here are two
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
: Sunday, September 18, 2005 7:50 PM
To: Ralf Lammel
Cc: haskell-cafe@haskell.org
Subject: Re: [Haskell-cafe] generics question, logical variables
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
Frederik,
Thanks for the challenge.
I didn't get some of the bits about your application scenario though.
(What did you mean by the type Pred? Why a list in the result of solve?
How did you model typed logical variables? With GADTs, phantoms? ...
Perhaps send more code, if you want to discuss
Ralf,
Thanks for the challenge.
Wow, thanks for taking an interest. I'm sorry for my slow response,
I've been sick.
Ah, I haven't seen your SYB3 yet, I will have to take some time to
read it.
As for your code example, it looks very interesting, but are you
saying that this could turn into an