The discussion in the meetup today about computational and expressive power reminded me of this project, Dawn. The interesting part to me is that just by adding or removing instructions in a concatenative language, you get sublanguages corresponding to different substructural logics. Not quite the same as dialing toward/away from Turing-completeness, but at least a similar vibe. https://www.dawn-lang.org/posts/foundations-ucc/