I was looking at Pure, as a possible language atop maru, for a GP computing system: http://purelang.bitbucket.org/
Additionally, for real-time deterministic use ie. the flexibility that Rust purports to offer, I think maru would benefit from a realtime GC solution. I've started replacing the mark-sweep gc.c code (from the maru 2.4 branch) with a realtime version based on this paper: http://liu.diva-portal.org/smash/get/diva2:20899/FULLTEXT01.pdf The solution is very small, in-keeping with the maru codebase. Also note that, as Pure is similarly small (and decoupled from it's backend), and supports equational programming, you could theoretically bring formal verification to the maru/pure codebase ie. it can prove itself. Nothing to show yet as my C knowledge is rusty to say the least, but i'll upload it to a repo when I have something workable. Of course if anyone is good with C, help would be appreciated! On 12 August 2015 at 14:50, Faré <fah...@gmail.com> wrote: > > 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 >
_______________________________________________ Fonc mailing list Fonc@mailman.vpri.org http://mailman.vpri.org/mailman/listinfo/fonc_mailman.vpri.org
