Re: Type checking (was: The strengths of FORTH)

On 2008-04-07, Bernd Paysan <bernd.paysan@[EMAIL PROTECTED]
> wrote:
> Trey Boudreau wrote:
>> I quite like the ideas in StrongForth.  I've toyed around with the idea
>> of implementing a 32-bit StrongForth in ANS Forth, using Forth as the
>> CPU/VM.  I think I understand the details well enough to do it but I
>> just haven't made the time.  Doing it this way would make it available
>> in a large number of environments relatively quickly, at the expense of
>> performance (though hardly a concern with today's desktop CPUs).
>
> A StrongForth compiler would only reduce the compilation speed, not the
> execution speed. After all, the strong typing is static typing, not
dynamic
> typing.
>
I meant peformance compared to a native code implementation, although
one of the more highly optimizing compilers would probably produce
better code than StrongForth's current implementation.

> Having a library for StrongForth would probably reduce some comments
from
> non-Forthers like Q: "you don't have typechecking" A: "require
strong.fs"
>
Indeed.

-- Trey