KnowOS (Was: What would a modern LispOS look like?)

Luís Oliveira wrote:
"Sascha Matzke" <sascha.matzke@xxxxxxxxx> writes:
"ZETA-C compiles a C function by translating it
into Lisp and handing the result to the existing Lisp compiler."

A really nice example for the power of Lisp ;-)

There are Lisp compilers that translate Lisp to C and hand the result to
an existing C compiler. Is that a nice example of the power of C? :-)

No, actually this is also a nice example of the power of Lisp! :-)

.

Relevant Pages

  • Re: Java connected Lisp
    ... versions of GNU Classpath and SBCL, ... Invent a nice and fast interface for calls from Lisp to Java and back. ... The trick could be to hack the compiler so that it recognizes accesses ... Rewrite the "compiler" ...
    (comp.lang.lisp)
  • Re: Reflections on a classic Lisp Paper
    ... its Lisp-1 semantics than defmacro, but would not serve CL as well. ... fexprs into those languages. ... this was the Lisp Machine's philosphy that led to offering ... do changes that the compiler cannot know, ...
    (comp.lang.lisp)
  • Re: Which programming language is better to start
    ... How does Lisp handle monomorphic types? ... If you don't specify a variable to have a type then the compiler ... ML does a lot of pattern match optimisations which, ... These operation would be done by representing the data as lists ...
    (comp.programming)
  • Places=lvalues and Pop11 (was months ago: Requesting advice how to clean up C code for vali
    ... there are equivalence classes of values modulo ... In fact the optimizing compiler could eliminate the ... character, or EBCDIC character, or IBM-PC character, or Latin-1 ... and I'm pleased you've essentially adopted the lisp ...
    (comp.lang.c)
  • Re: Which programming language is better to start
    ... >>> As a performance measure a common lisp compiler will assign static ... How does Lisp handle monomorphic types? ... ML does a lot of pattern match optimisations which, ... Complete monomorphisation isn't common in the ML world, ...
    (comp.programming)