Re: [Caml-list] '_a

[Alex Baretta <alex@barettadeit.com>]

skaller wrote:
> On Thu, 2005-01-27 at 11:51, Jacques Garrigue wrote:
> 
> 
>>There is no deep magic, no heuristics. There is just a type system
>>which guarantees type soundness (i.e. "well typed programs cannot
>>produce runtime type errors").
> 
> 
> Unfortunately, 'soundness' as described is somewhat weaker
> than one would like, since it depends on the expressivity
> of the type system how useful soundness actually is.
> ...

Sadly, this is very true. Camls are no genies capable of generating 
correct code when the programmer exerts friction against the computer's 
case. This is also the reason behind such DSLs as CDuce.

Of course, it is very reasonable to state that PXP is sound, but in now 
way does it guarantee the absence of runtime errors of the kind 
"required attributed not found". Here at DE&IT we are doing a good deal 
of work on extending the type system to handle XML well formedness 
constraints and possibly, to some extent, validity constraints.

Alex

-- 
*********************************************************************
http://www.barettadeit.com/
Baretta DE&IT
A division of Baretta SRL

tel. +39 02 370 111 55
fax. +39 02 370 111 54

Our technology:

The Application System/Xcaml (AS/Xcaml)
<http://www.asxcaml.org/>

The FreerP Project
<http://www.freerp.org/>