sexp VS kitten

There's a tool sexp that Jane Street uses internally to slice and dice sexp logs, but, yes, I get that there aren't logging services out there that support sexps. They should, though, as sexps have unique advantages over JSON. They tend to be more human-readable too. Great blog post overall!

While not quite a Forth, Kitten is a stack language:

https://kittenlang.org/

Since you're making a statically-typed concatenative language, I'll point you to a joy reference, kitten, notes to motivate type checking stack languages, and a paper that formalizes type checking for stack languages. Since this looks like a relatively high-level stack language (given the presence of ADTs), you may find that you want to add quotes to your language, specifically opaque quotes since your language is typed. In that case, you'll realize that you'll need a better way to formulate polymorphism over stacks, and the paper on type checking will provide that to you.

Well, there is Kitten, although it hasn't seen an update in two years and was moving quite slowly before that too.

https://kittenlang.org/

Author ended up doing a lot of work on Kitten https://github.com/evincarofautumn/kitten

Kitten lang

You may like https://kittenlang.org/