[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
library representation (was Re: fundamental design issues)
When you compile libraryX you generate a compilation result
(bytecode, assembler, or maybe just a distillation of the
Radical idea: don't store compilation results in the library. Only store
sources. That is, the collection of sources *is* the library. Using a
library is then "just" the compilation on the fly of what is needed.
Then the whole "out of date" issue just goes away. The whole external
macro representation issue goes away too.
Question: can this done efficiently enough to make the libraries useable
The Gnu Ada system has essentially this approach, and it works well
enough, but Ada does have the advantage (for library implementors at
least) that there is a separation of "interfaces" from "implementation"
files so compiling interfaces on the fly is radically cheaper then
compiling entire implementations on the fly.