OS design...
Francois-Rene Rideau
fare@tunes.org
Wed, 21 Oct 1998 00:54:33 +0200
>: David Jeske
> If I compile a C program to LISP, how I do resolve all external
> dependencies without running the code? Run-time errors are the enemy.
What the hell do you mean?
If your C program uses libraries, either those libraries must have
equivalents built into the C->LISP translator, or their source must
be available and transformed first.
If you want to support C programs that use dynamic linking
of low-level C routines, then you may dynamically link LISP-translations
of those routines.
Again, the fallback case is to have a Linux emulator in Tunes.
And if you're warning me about C being able to do runtime type errors,
then yes, a correct non-trusting LISP translation will have to add runtime
typechecks. But since good C programming style encourages static typing,
most of these may be compiled away through type inference.
## Faré | VN: Уng-Vû Bân | Join the TUNES project! http://www.tunes.org/ ##
## FR: François-René Rideau | TUNES is a Useful, Not Expedient System ##
## Reflection&Cybernethics | Project for a Free Reflective Computing System ##
Brain, n.:
The apparatus with which we think that we think.
-- Ambrose Bierce, "The Devil's Dictionary"