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
[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 (15:55)
From: skaller <skaller@o...>
Subject: Re: [Caml-list] Building large and portable projects
On Sun, 2003-11-23 at 01:32, Martin Berger wrote:
> > Make systems are all conceptually wrong.

> * 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?

In interscript I have an iteration limit.
In a GUI system, one pass per mouse click I guess.

> * 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?
> martin
> [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.

Ouch. First, the concept above is to use categories
as an inspirational model, but we do have to layer
the abstraction on real storage/execution systems,
so that theoretical constraint is unlikely to the most
difficult problem :-)

Second .. well, Ocaml uses this model 'as inspiration'
as well, and it's authors know a good deal more theory
than me so they're more likely to be able to answer :-)

Yeah, both answers are a cop-out (meaning I don't know :-)

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: