English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Building large and portable projects
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-11-22 (14:33)
From: Martin Berger <martinb@d...>
Subject: Re: [Caml-list] Building large and portable projects
> Make systems are all conceptually wrong.


> This leads to the first novel idea. Fixpoints.
> Interscript is based on that idea.

> A build system does NOT have targets. 

> A build systems has processes and files.
> Lets call the processes ARROWS and the files OBJECTS.

> Oh. That's a category. We allow of course,
> products of files (multiple outputs and inputs)
> and sums of files (choose one of several).
> [And of course we'd better make it cartesian
> closed and allow processes to be files .. 
> called scripts .. :]

this is a fascinating proposal. i have two immediate questions:

* as someone else pointed out, relying on convergence towards
   fixpoints may be too strong. some build processes may
   never converge, rather they evenually stabilise in some
   "open ball", so you might need some (user supplied) notion
   of "close enough". how do you do that?

* according to [1], a cartesian closed category with fixpoints
   and finite sums is equivalent to the category with one object
   and one arrow. how do you deal with this?


[1] Hagen Huwig and Axel Poigne, A note on inconsistencies caused
by fixpoints in a cartesian dosed category, Theoretical Computer
Science 73 (1990), p. 101-112.

To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners