XY: A Concatenative Programming Language Combining K and Joy Concepts
By
ofalkaed
Crackling crust, pillowy middle. The kind of bagel that earns a second cup of coffee.
Summary
XY is a concatenative programming language that combines concepts from the vector language K and concatenative language Joy. It operates on a stack (X) and queue (Y) model where computation proceeds through sequential evaluation steps. The language emphasizes totality of computation, with all operations being total functions that handle all possible inputs without errors. The article explains XY's design principles, syntax, and how it differs from traditional programming paradigms.
Key quotes
· 4 pulledXY is a direct descendant of the vector language K and the concatenative language Joy.
Computation consists of a sequence of evaluation steps over a pair of objects X and Y. X is the stack, and contains the entirety of what has been computed so far. Y is the queue, and contains the entirety of what remains to be computed.
The principles of XY are: - The totality of the computation
A step consists of taking the next element in the queue and applying it to the stack and the remainder of the queue. The result is a new stack and a new queue.
Article URL: http://www.nsl.com/k/xy/xy.txt
Comments URL: https://news.ycombinator.com/item?id=46746517
Points: 7
# Comments: 3
You might also wanna read
A Formal Proof That Jira Is Turing-Complete via Minsky Machine Implementation
This article provides a formal proof that Jira (Atlassian's project-tracking tool) is Turing-complete by demonstrating how to build a Minsky
A Formal Proof That Jira Is Turing-Complete via Minsky Machine Implementation
This article provides a formal proof that Jira (Atlassian's project-tracking tool) is Turing-complete by demonstrating how to build a Minsky
How Shamir's Secret Sharing Algorithm Enables Threshold Cryptography
This article explains Adi Shamir's Secret Sharing algorithm, a cryptographic method published in 1979 that splits a secret into multiple pie
ente.com·6d agoThe History of Pipes, Forks, and Zombies in Unix Systems
This article discusses the history and concept of pipes in Unix systems, focusing on Doug McIlroy's original vision of coupling programs lik
Rust is not for every project: A critical look at the hype behind Amazon, Cloudflare, and Discord's adoption
The article critically examines the hype around Rust programming language, arguing that while Rust has strengths in safety and performance,
kerkour.com·18d ago
A Grounded Conceptual Model for Ownership Types in Rust Programming
This article presents a grounded conceptual model for ownership types in Rust, the programming language known for memory safety without garb
cacm.acm.org·1mo ago