3 ms·
There are some strongly typed Forths --- although I've never seen one that was out of prototype. Here's one I had a brief look at: http://www.arestlessmind.org
by david-given 10y ago
There are some strongly typed Forths --- although I've never seen one that was out of prototype. Here's one I had a brief look at:
http://www.arestlessmind.org/2009/02/03/intro.html http://www.arestlessmind.org/2009/02/03/intro.html
Of course, since Forths are built around a REPL, to do type checking you need to keep the type objects around at run time, so it may not be suitable for very small systems.