There are two technologies that I'd expect to be useful in the context of LLMs: 1. Controlled natural langues (see https://sites.google.com/site/controllednaturallanguage/ for a list), which are subsets of natural languages that can be assigned formal semantics. 2. Concatenative programming languages (https://concatenative.org/wiki/view/Concatenative%20language), which are formal language whose syntax shares the linear structure of natural languages that is the basis of LLMs. Has anyone seen such connections pointed out or explored yet?

I'm looking at a text version of my own tool, isomorphic with the visual language, to make it possible to get LLM to do Codex-style code suggestions. Haven't actually done it, yet, and haven't seen anyone doing it, but I'm thinking precisely the same thing.