Forth is so minimal that you can implement an interpreter in hardware, which means it has no types. There are a few typed stack languages. Cat was the first, a

Forth is so minimal that you can implement an interpreter in hardware, which means it has no types. There are a few typed stack languages. Cat was the first, and Kitten is another one.