forth introductions that stop at reverse polish notation are missing like 80% of what makes it an interesting language
it's like the "a monad is a burrito" monad tutorials of yore
@nprofile1q... I've recently been wondering whether you could use a typed Forth-esque thing as a good 'substructural types for programmers' expository example.