From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by pauillac.inria.fr; Mon, 30 May 94 19:27:34 +0200
Received: from margaux.inria.fr by pauillac.inria.fr; Mon, 30 May 94 19:24:19 +0200
Received: from concorde.inria.fr by margaux.inria.fr, Mon, 30 May 1994 19:24:18 +0200
Received: from s4dx.univ-poitiers.fr (s4dx.univ-poitiers.fr [192.70.60.35]) by concorde.inria.fr (8.6.9/8.6.9) with SMTP id TAA17028 for <caml-list@margaux.inria.fr>; Mon, 30 May 1994 19:24:18 +0200
From: calla@knuth.univ-poitiers.fr
Received: from knuth.univ-poitiers.fr by s4dx.univ-poitiers.fr, Mon, 30 May 94 19:21:52 +0200
Received: by knuth.univ-poitiers.fr (AIX 3.1/UCB 5.61/4.03)
          id AA15655; Mon, 30 May 94 19:20:50 +0100
Date: Mon, 30 May 94 19:20:50 +0100
Message-Id: <9405301820.AA15655@knuth.univ-poitiers.fr>
To: Xavier.Leroy@inria.fr
Cc: caml-list@margaux.inria.fr, John.Harrison@cl.cam.ac.uk,
        John.Harrison@cl.cam.ac.uk
In-Reply-To: John Harrison's message of Mon, 30 May 94 15:49:46 +0100 <"swan.cl.cam.:029090:940530144959"@cl.cam.ac.uk>
Subject: Irrelevant variables in patterns
Sender: weis@pauillac.inria.fr


   Le probleme est excatement le meme en ADA qui a la meme philosophie des
  exceptions que caml, meme si le mecanisme est plus puissant en Caml.

   Le probleme de fond est le suivant me semble-t-il : on traite syntaxiquement
 et semantiquement  de la meme  facon  des exceptions de nature tres differentes
 quand au  comportement du  programme a l'execution :
 
  1)celles qui sont  definies par le programmeur comme un moyen de programmation
 qui evite des test dans des cas tordus et qui sont bien pratiques
 
  2) celles qui sont generees par le run-time du langage  mais qui sont de meme 
 utilite (du genre Failure "hd" et autres  Invalid_argument ..)
  
  et enfin celles qui viennent du systeme hote dont le plus bel exemple est 
  Out_Of_memory, mais qui peuvent etre moins catatrophiques comme celles
 liees aux entrees-sorties.

   Si on veut ecrire des softs robustes, on ne peut s'interdire de traiter
 ces dernieres, meme  Out_Of_memory, mais la solution serait une hierachisation
 des exceptions dans le langage, avec des constructions differentes pour
 le traitement. Certes ca complique certainement l'ecriture du compilateur,
 et je ne connais pas grand chose aux problemes semantiques poses par les 
 exceptions, mais ca me semble une solution plus serieuse que d'imposer des
 contraintes  de syntaxe un peu arbitraires. 
    Mais sans doute demande-je la lune.
            
            Pierre Calladine.