Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] spécifications en caml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pierre Weis <Pierre.Weis@i...>
Subject: Re: [Caml-list] spécifications en caml
> Y a -t- il une logique dans l'affichage par un quelconque interpréteur
> caml des prototypes de fonction ??
> 
> Je donne un exemple :
> 
> Comment comprendre : fonctionX : 'a->'a->'a->'a list....
> 
> L'expression me parait ambigue...
> 
> Je me souviens qu'avec Caml light les profils de fonction étaient
> affichés autrement...
> 
> Merci d'éclairer ma lanterne.
> -------------------
> Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
> To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Oui, il y a une logique: l'opérateur -> est associatif à droite,
c'est-à-dire que

'a -> 'b -> 'c est équivalent à 'a -> ('b -> 'c)

Hope this helps,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/


-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr