Linear type system findings?

[gilbert]

Hi, I saw your blog post on linear types and concatenative languages, and how you were investigating whether they were a good fit for each other. Did you find anything interesting? I would love to hear your thoughts.