I had recently watched your FOSDEM talk https://fosdem.org/2017/schedule/event/guixsdbootstrap/ [fosdem.org] Which you seem to have confused my hex assembler as an end in itself, rather than the first step in Stage0
Basically, I decided to steal a good idea from the C and pascal languages (o-code and p-code specificly) Define a trivial to implement virtual machine (vm.c vm.h vm_decode.c and vm_instructions.c [optionally tty.c and/or dynamic_execution_trace.c but neither is required]) Who's entire instruction set is define in ISA_HEX_Map.org That way all platforms can independently verify every step Looking at your work, I can't help but wonder if we might be making that bootstrap step harder than it has to be. What if we converted my lisp interpreter into a lisp compiler? Could that simplify your initial bootstrap? Since instead of trying to do the full C compiler in scheme in a single step, we could do: Primitive_scheme -> minimal_scheme -> full_scheme -> done What do you think? Jeremiah Orians State of Michigan Cell phone: (517) 896-2948 > -----Original Message----- > From: Jan Nieuwenhuizen [mailto:jann...@gnu.org] > Sent: Tuesday, March 28, 2017 5:09 PM > To: Orians, Jeremiah (DTMB) <oria...@michigan.gov> > Subject: Re: You missed my later work > > Orians, Jeremiah (DTMB) writes: > > Hi! > > Thanks for reaching out. > >> https://github.com/oriansj/stage0 [github.com] > >> It includes everything one needs, starting from a hex monitor to a primitive >> lisp for >> a very portable VM specification (Which is also included and implemented) > > You implemented a LISP? I'll have to look into it! I looked at your > amazing self hosting hex assembler and that's what got me going on > implementing Mes. > > What do you mean by `You missed my later work?,' are you referring to > some event? I have been very busy working on Mes: a scheme intepreter > written in C, that can execute a Scheme program which is a C compiler > that can compile itself. I'm almost done: Guile can run the C compiler > in Scheme, Mes still fails. > > Have you been following Mes? I'm wondering if we can/should work > together somehow. It seems we very much are working towards a similar > goal. > > Greetings, janneke. > > -- > Jan Nieuwenhuizen <jann...@gnu.org> | GNU LilyPond http://lilypond.org > [lilypond.org] > Freelance IT http://JoyofSource.com [JoyofSource.com] | Avatar® > http://AvatarAcademy.nl [AvatarAcademy.nl]
