@neauoire @CapitalEx I just re-watched Jon Purdy's talk and it seems even 6 years later the number of people _actively_ researching/experimenting in this field is still extremely small! But this also means you're automatically kind of at the forefront and I'm looking forward to see what you'll come up with...

I'm still somewhat ambivalent about how far down the rabbit hole with respect to types in a Forth-style lang one should go before starting to compromise other core aspects like overall simplicity and actual utility. It's the same balance I'm striving to find in my TypeScript work. I do like structural typing and finding it very useful in general, but there're also a number of cases where I just learned to stay away from spending days/weeks on defining/refining/maintaining super complicated type constructs for very little practical gain. Types and type systems can be total nerd snipes and (IMHO) sometimes just spending more time on validation (where needed), documentation and explanations/reasoning of design decisions is time better spent than wasting it on super elaborate types. Sometimes it's just swapping one type of footgun for another and YAGNI... :)