We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
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)