Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Dynamically evaluating OCaml code
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] build tools - good vs. fast, both cheap
On Fri, 2004-04-16 at 16:31, Brandon J. Van Every wrote:

> My philosophy is, if it is not an advanced build and package management
> system, there is no point in pursuing it.  The ad hoc methods already
> suffice for lesser goals.  So, with that in mind, what is currently the
> most advanced build and package management system known to Humankind, in
> any language?  That is where we should be looking for design reuse.

I suggest we look at something more abstract.
Dependencies, relations, processes, types, functions ..

Which abstraction is useful for dealing with that?

Category theory.

Here is a really simple processing category:

	'gcc -c': *c -> *.o

Now consider the categories needed to build a literate
programmed book of over 3000 pages .. there's a LOT more
to building books than mere software, especially when
using LP implies the sources contain the build scripts
for everying .. including running tests .. generating
documentation .. and trying to do all that in a way
that is practical performance wise: you don't typeset
3000 pages of LaTex just because you changed a few
lines of code.

-- 
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net



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