> And yes, it would be nice to have a bootstrap from any popular
> language.  Even better: how about a single abstract general-purpose
> `generic' description of how to bootstrap a system, that could
> generate a concrete bootstrap in any popular and locally-convenient
> language?  But that was just the original idea of Maru (or at least of
> its immediate predecessor).  To date, however, the only `back-ends'
> I've managed to make are C and x86 assembler, and neither in a form
> that could really be called general-purpose.  And the only serious
> front end is a textual representation of the intermediate
> representation.  And the intermediate representation lacks any of the
> rigour that such an ideal deserves.
>
> The simplest possible bijections from any GP programming system to
> extended lambda calculus, and from ELC to any GP computer hardware,
> still eludes.
>
That's the approach taken by Shen (and before it Qi):
implement the entire language on top of a rather minimal "kernel
lambda" lisp layer, that itself is implemented in CL, JS, C, Java,
etc.
http://shenlanguage.org/download_form.html
https://github.com/Shen-Language/shen-sources

Problem is they forget to complete the bootstrap with a compiler.

—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org
"An idealist is one who, on noticing that a rose smells better than a
cabbage, concludes that it will also make better soup." — H.L. Mencken

_______________________________________________
Fonc mailing list
Fonc@mailman.vpri.org
http://mailman.vpri.org/mailman/listinfo/fonc_mailman.vpri.org

Reply via email to