Lambda (was: Refactoring in Tunes)
Massimo Dentico
m.dentico@teseo.it
Sat, 22 Jan 2000 16:00:40 +0100
Laurent Martelli wrote:
>
> Massimo> To obtain true portability you need a good virtual machine
> Massimo> or a complete metaprogramming environment. Forth has a
> Massimo> tiny, quite fast virtual machine that you can easily port
> Massimo> *manually* without much effort just in virtue of his size
> Massimo> OR you can metacompile it to another target machine
> Massimo> (evidence of these facts: the proliferation of Forth
> Massimo> implementations). So you can obtain a better compromise
> Massimo> between portability and efficiency.
>
> I'm afraid that the "non-standard library" problem also arise in the
> case of VM. But maybe you were thinking of "unportable" libs such
> threads.
The Forth Virtual Machine is not a VM in traditional sense. The
problem of "non-standard library" doesn't arise because to
*bootstrap* a Forth environment you don't need library at all. A
typical size of a Forth system is few KB and is defined in term of
few primitives. You can make this core so little that you can
*manually* assemble it and/or port it to another assembly, as I
have already pointed up.
> Anyway, a complete metaprogramming environment is my goal.
Yes, I know and I agree with this choice, of course.
> Massimo> Of course, to run OIL on the bare hardware you need to port
> Massimo> your interpreter (your virtual machine) to other machines
> Massimo> OR to write a compiler for OIL. It's not sufficient to
> Massimo> rewrite OIL in OIL.
>
> Of course. Our plan is to rewrite OIL in OIL, and then write an
> OIL2Posix compiler or something like that. We're not interested in
> bare hardware (yet).
Ok, when you'll interested to reach the bare hardware I suggest
you to take a look carefully in this direction.
--
Massimo Dentico