* David Jeske:

> C++, Ocaml, Haskell, D, Google Go, and others are not missing from this
> list because nobody has gotten around to building a system based on them,
> but because they are whole-program embedded systems compilers.

Oh, I forgot to mention that your characterization is slightly
inaccurate—Ocaml, Haskell/GHC and both Go compilers from Google are
not whole-program compilers, but they do require recompilation of all
reverse dependencies on any change.  That's a technical difference,
but the problem is roughly the same.

With the Itanium C++ ABI and a fairly detailed set of rules, you can
produce binary-compatible updates:

http://techbase.kde.org/Policies/Binary_Compatibility_Issues_With_C++

In the other direction, C with heavy preprocessor use or C99/C11
features has similar issues.  And there are examples of libraries
which exposed internal structs in public header files, causing endless
troubles for binary-compatible updates.

_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to