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