I've taken the liberty of posting Dr. Betcher's strongForth executable and
documentation into our Files area,
http://www.egroups.com/files/concatenative/Forth.zip
The documentation is HTML, and the executable is for DOS/Windows. Some
sample source code is also included, although the source for the interpreter
is not.
This is the first staticly typed concatenative language I'm aware of. Take
a look -- it's quite interesting, both in how powerful it is and in how
simple it is.
The documentation doesn't discuss many of the interesting capabilities of
Stephan's type system (although it's worth reading, IMO), so you'll have to
read some of the posts he's made to this forum.
I look forward to the first release of Avail, which uses a very different
approach to staticly typechecking a concatenative language. Avail requires
a lot of processing power, while strongForth does not. However, Avail
appears to be more capable than any type checking system I've seen before.
Both systems are natural fits to concatenative languages, which is
interesting because I don't believe anyone expected it to be so easy to
typecheck Forthlike languages.
-Billy