[Haskell-fr] Re: inférence

[Dupont Corentin]

On 9/13/07, Stephane Bortzmeyer <stephane at sources.org> wrote:
> On Thu, Sep 13, 2007 at 02:05:37PM +0200,
>  Dupont Corentin <corentin.dupont at gmail.com> 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).
>