Re: [Caml-list] Building large and portable projects

[skaller <skaller@ozemail.com.au>]

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