At 19:48 +0200 98/06/17, Chris Rowley wrote:
>This is certainly something that needs attention but is probably
>independent of L3PL modularisation, or maybe there is some overlap?
There is some overlap, which is why I bring it up: The correct way to do
this stuff is to write it out by hand as in L3PL, and then with a good
context given by all the code to fit into it, and successively moves to
higher levels of abstraction. But on this road, there are some sneaky
points, namely if one does not start to think about modules and submodules
one the final higher abstraction level, some of the early decisions will be
wrong, and then all work has to be redone (or it will be impossible to
So I try to mainly point out some of the principles I saw, and perhaps
they can help to influence the L3PL if needed.
* Email: Hans Aberg <mailto:[log in to unmask]>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>