Version française
Home     About     Download     Resources     Contact us    
Browse thread
pourquoi y-a-t-il des exceptions?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Francois Pottier <Francois.Pottier@i...>
Subject: Re: pourquoi y-a-t-il des exceptions?

On Fri, Nov 17, 2000 at 06:17:44PM +0100, Xavier Leroy wrote:
>
> Cela ne poserait pas de problème au niveau du "raise", mais cela
> poserait problème pour typer le "try...with..."  ("handle" en SML).
> En effet, la valeur de l'exception rattrapée serait alors d'un type
> quelconque, inconnu statiquement, ce qui empêcherait d'en faire quoi
> que ce soit dans la partie "with" du "try...with...", en particulier
> de la filtrer.

À moins d'annoter chaque fonction par le type des exceptions
qu'elle est susceptible de renvoyer, de façon similaire à ce
qui est fait dans la thèse de François Pessaux. Cela donne un
système de types beaucoup plus fin et beaucoup plus lourd (au
moins en termes de lisibilité).

Cela dit, d'un point de vue purement opérationnel, on pourrait
très bien considérer que `raise' est applicable à une valeur
quelconque. Le seul langage répandu à avoir adopté ce point de
vue est (à ma connaissance) C++...

--
François Pottier
Francois.Pottier@inria.fr
http://pauillac.inria.fr/~fpottier/