Talk:GML

I'm not exactly sure how to phrase it, but historically GML is unlikely to be the genesis of concatenative calculi, if for no other reason than that it's over half a century after the founding of category theory. Hagino CPL predates GML, for example. Corbin (talk) 07:28, 4 December 2025 (UTC)

I never thought that GML was the original source. I just find it funny that the esowiki didn't seem to link to a specific older source for concatenative calculus, such as from the Concatenative calculus or Joy pages. It seems that Joy was invented between 1994 and 2001, but only published in 2000 or 2001. Sources earlier than 2000 seem to consider lambda calculus or combinator calculus, not a calculus where functions can access arbitrary depth on the stack. Stack-based languages like Forth were known for decades before that, and I think people understood that something like lambda-calculus or Lisp can be executed using a data stack and control stack, but I'd like to see an older source putting the two together to a language that is both stack-based with unlimited depth functions, and function objects (eg. closures or combinators) can be created at runtime and pushed to the data satck. You can actually do that in Postscript, which is older than Joy, but I don't know if it's a style that anyone actually uses in Postscript. – b_jonas 14:47, 4 December 2025 (UTC)