💾 Archived View for dcreager.net › swanson › first-class-stacks.gmi captured on 2023-11-14 at 08:03:45. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Stacks should be first-class

2023-09-15

If we make stacks fully first-class in S₀, then we can side-step the open questions about whether there should be a stack of stacks, or multiple discrete named stacks (à la Dawn), or any other higher-order arrangement of stacks. Instead, Swanson code could operate on stacks directly, however is most useful.

Foundations of Dawn: The Untyped Multistack Concatenative Calculus

If stacks are first-class, is there some other existing language construct that we can model them as? I don't think we can model them as quotations, like you do in a non-linear stack language.

Stack values cannot be quotations