Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
(Mostly) Functional Design?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
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.


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)

The FreerP Project