Talk:Concatenative calculus

I'm still thinking about how to unify this with the standard mathematical concepts at concatenative language and category theory. To the extent that this page isn't just about Kerby's specific system — which can be given its own article in that case — this page covers what we normally call internal logic, internal language, or Mitchell–Bénabou language. This isn't something mystical; for example, the internal language of a simply-typed lambda calculus is always a CCC, and that's the core intuition behind the type systems of ML (OCaml, Haskell, etc.) Corbin (talk) 17:58, 21 October 2025 (UTC)