Automatic coercition to a more general type ?

Automatic coercition to a more general type ?

[Christian Boos]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1297 bytes --]



Bonjour,


J'ai une question concernant le sous-typage et la nécessité de faire
une coercition explicite d'un objet en un type plus général (par
exemple pour mettre des objets de classes différentes dans une même
liste, en forçant un type 'ancêtre commun', cf. exemple point et color_point 
de la doc). 

N'y aurait-t-il pas moyen de réaliser cette coercition de façon
automatique en trouvant le type intersection des types de ces objets ?

L'unification de deux types de classes différent consisterait à
trouver leur type intersection, et à ne renvoyer une erreur que si un
tel type n'existe pas. En cas de succès, le type unifié est bien
entendu ce type intersection.

Je ne sais pas si cela poserait des problèmes d'ordre théorique. 


------


Hello,

I have a question about subtyping, and the need to explicitly coerce
the type of an object to be of a more general type, when needed.
I wonder if it is possible to do this coercition automatically. When
unifying a type 'class_a' with a type 'class_b', the typechecker tries
to find a new type 'class_c' which is the intersection of 'class_a'
and 'class_b'. If this is successfull, then the resulting type would
be 'class_c', if not, the unification would fail.

Perhaps there's theoretical weakness to this proposal ?



-- Christian

Re: Automatic coercition to a more general type ?

[Didier Remy]

Bonjour, 

> J'ai une question concernant le sous-typage et la nécessité de faire
> une coercition explicite d'un objet en un type plus général (par
> exemple pour mettre des objets de classes différentes dans une même
> liste, en forçant un type 'ancêtre commun', cf. exemple point et color_point
> de la doc).
> 
> N'y aurait-t-il pas moyen de réaliser cette coercition de façon
> automatique en trouvant le type intersection des types de ces objets ?

La coercition d'une valeur de type A en une valeur de type B est 
sémantiquement correcte si A est un sous-type B. 

Ce que tu demandes consiste donc à synthétiser des types avec contraintes de
sous-typage.  C'est un problème connu, qui dans toute sa généralité n'a
trouvé de solutions théoriques que très récemment. 

Cependant ces solutions ne sont pas encore suffisamment satisfaisantes pour
être ajoutées au langage sans risque de nuire à sa simplicité voire à son
utilisation. 

C'est pour cela que nous avons pour l'instant choisi la solution la plus
simple qui consiste uniquement à vérifier les relations de sous-typage
explicitement demandées par l'utilisateur.

    -Didier.