# Strongly typed Forth

## wtanksley@bigfoot.com — 2000-07-31 22:49:53

    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

## William Tanksley — 2000-08-01 18:10:46

    --- In concatenative@egroups.com, wtanksley@b... wrote:

     > I've taken the liberty of posting Dr. Betcher's strongForth

     It's still worth downloading, but I just wanted to correct my error:

    it's "Dr. Becher", not Betcher.  Sorry.

    -Billy