Andrej Bauer wrote:
> Dear Alex,
> 
> I was silly enough to write to you _before_ looking at the xcaml web
> page. I think I can find my answers there.

I am painfully slow at putting up some code for the community to look
at. The trouble is that, although we are a free software company, we
tend to (find the time to) release our code only when we are paid to do so.

***

The Xcaml paradigm only partly solves your issues. It is aimed at
guarateeing coherence in a very large scale ERP application, which
implies that we have worked a lot on guarateeing static type safety in
queries. We have still not finished implementing the Xcaml2 API, which
will include proper static verification of HTML forms.

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/>