Stanford Seminar - Concatenative Programming: From Ivory to Metal
Why Hacker News recommends it
HN recommends it as the best talk on concatenative languages and their mathematical properties.
What it is
Jon Purdy's Stanford EE380 seminar giving an overview of concatenative programming, from function composition theory and history down to low-level implementation and correctness benefits.
Recommended by 2 HN commenters across 3 different months, 2020 to 2022.
What Hacker News said
Strong rec carapace · 2022-07 · on “Why concatenative programming matters (2012)”
I didn't see it linked from the article, Jon Purdy has a great talk about this too: "Concatenative Programming: From Ivory to Metal" (2017) [this video] There's also "A Conversation with Manfred von Thun" [LINK] which is worth reading (IMO) if you're interested in concatenative languages. He's the creator of Joy. I've been working with Joy over the last few years now and I really think there's something there. It seems to combine the best features of both Forth and Lisp.
Recommends nemo1618 · 2020-01 · on “Factor: A Practical Stack Languge”
I don't know if it's Baader-Meinhof or what, but I'm seeing concatenative languages all over the place now. Which is great, because now I'm planning to write my own! My gut says that a concatenative language could be ideal for competitive programming, where you want to quickly apply various transformations to your input and immediately see the result. Here's a talk I watched recently describing some of the neat mathematical properties of concatenative languages: [this video]
Recommends carapace · 2022-05 · on “Minimalism in programming language design”
Hear, hear! Wise words from the genius who created Turing Drawings. It's becoming more and more important to treat complexity as a kind of technical debt that has the potential at any moment to metastasize into eldritch horror. I've been playing with what you could call a minimalist programming language: Joy created by Manfred von Thun (who was a philosophy professor! See "A Conversation with Manfred von Thun" [LINK] ) It combines features of Lisp and Forth, and I suspect it may be the simplest useful language. The syntax is enormously simple, and the semantics are likewise simple. It's easy to reason about functions and derive them in a mathematical way using simple algebra, so it's hard to
Cites henrydark · 2022-12 · on “Austral: A Systems Language with Linear Types and Capabilities”
It comes from Linear Logic, where there's no inference A&B->A. I think the point of the name is "there's always progress". This talk explains some other origins as well as the connections between different logics to different type systems (though the focus is on stack languages) [this video]