Re: question about linker

Bart <bc@freeuk.com> wrote:

On 04/12/2024 12:29, Waldek Hebisch wrote:

Bart <bc@freeuk.com> wrote:

You've never used my scheme.

 
Your scheme, not.  But you should understand that when speaking
about module systems C is an outlier, having almost no support
for modules.  Some languages, like C++ and Lisp go half way,
providing namespaces but rest is up to programmer.  Other do
more.  By now classis is _logical_ separation into interface
and implementation, which seem to be absent from your system.

 
It is there, but at a different boundary.
 
My language is intended for whole program compilation. There are no
interfaces between modules (that is, a file listing the exports of a
module, separately from the implementation).

I wrote about _logical_ separation.  Oberon puts module in a single
files, IIRC declarations of exporeded things just have stars before.
So the is only tiny overhead in terms of extra charaters, but logical
separation is there.

Because the compiler can see (and will compile) the actual implementation
 
Such interface files exist between programs, which usually means between
a main program and the libraries it uses, which are generally
dynamically loaded.

In other words, you only support modularization at library level,
more or less what C is doing (using either compiler extentions or
external tools one can control what is exported from shared libraries
build from C files).

--
                              Waldek Hebisch