Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Simuler les vues avec des variantes polymorphes
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] Simuler les vues avec des variantes polymorphes
From: Diego Olivier Fernandez Pons <Diego-Olivier.FERNANDEZ-PONS@cicrp.jussieu.fr>
> type 'a heapView =
>   [ `Empty
>   | `Single of 'a * int
>   | `Link of 'a prioritySQ * 'a prioritySQ ]
[...]
> Seulement je ne peux par faire ceci
> 
> let insert x p = function
>   | `Empty -> ...
>   | `Single _ -> ...
>   | `Link _ -> ...
>   | other -> insert x p (to_heap_view other)
> 
> car le typeur n'accepte pas le mélange des types (je peux toujours
> mettre tous les constructeurs dans un seul type il est vrai mais ce
> n'est pas très propre) 

Je ne suis pas sur de tout comprendre, mais si le type de
to_heap_view est : 'a otherView -> 'a heapView
et si otherView est aussi un type de variant polymorphe, alors on peut
deja ecrire

    | #otherView as other -> insert x p (to_heap_view other)

Est-ce le comportement desire'?
Attention, si ton let ci-dessus est en fait un let rec, il faut
peut-etre ecrire:
    (to_heap_view other : ['a heapView] :> [> 'a heapView])
pour eviter d'unifier le resultat de to_heap_view a` l'entree de
insert.

> Est-il possible de concevoir des variantes polymorphes où le typeur
> accepterait des unions de types ? (en ce sens qu'au lieu de typer une
> fonction par les générateurs i.e. "tout type contenant Empty" ... il
> la type par union de tous les types déclarés qui contiennent Empty)

Et quid des types pas encore declares?
L'idee des variants polymorphes est de se debarasser des declarations
prealables.
Mais on peut toujours ecrire des declarations a` posteriori:

   type 'a anyView = ['a heapView | 'a otherView]

---------------------------------------------------------------------------
Jacques Garrigue      Kyoto University     garrigue at kurims.kyoto-u.ac.jp
		<A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners