Thread describing an elegant approach for adding type checking to an existing Forth compiler:
Quote Tweet
Ok, so, this is very simple, but there is a limitation: Forth doesn't have types. If you want types, which I do, you need to adjust the approach. Let me walk you through my idea for how to incorporate types into this.
Show this thread