Browse thread
(Mostly) Functional Design?
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2005-07-18 (10:03) |
From: | Alex Baretta <alex@b...> |
Subject: | Re: [Caml-list] (Mostly) Functional Design? |
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/>