💾 Archived View for dcreager.net › swanson › first-class-stacks.gmi captured on 2023-09-28 at 15:49:27. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
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.