[Haskell-fr] Re: inférence

On 9/13/07, Stephane Bortzmeyer wrote:

On Thu, Sep 13, 2007 at 02:05:37PM +0200, Dupont Corentin wrote a message of 141 lines which said:

...

Dans la signature, que signifient les espaces entre les a,b,c...?

Ben, en français, comme en anglais, on met des espaces pour séparer les mots.

f :: a b -> b

f prend deux arguments de type a et b (pas très courant en Haskell car pas curryfiable)

OK, c'est bien ce que je pense, ça s'écrit d'habitude comme ça non? f :: a -> b -> b Forme non curryfiée: f :: (a,b) -> b C'est pour ça que la notation avec des espaces me laissait perplexe... En particulier dans l'exemple: (&&&) :: (Arrow a) => a b c -> a b c' -> a b (c, c')

f :: ab -> b

f prend un argument de type ab (rare, on utilise toujours des identificateurs à une seule lettre).