💾 Archived View for dcreager.net › swanson captured on 2024-06-16 at 12:16:34. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2024-05-10)

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

Swanson

Swanson is the programming language framework that I'm working on.

Swanson website

S₀

S₀ bytecode

Four stacks

Continuation-passing S₀: The return

Bethel stacks

Slip and slurp

Concatenative

Should Swanson be concatenative?

A linear basis for Swanson

Stack values

Stacks should be first-class

Should stack values be modeled as quotations?

Staged stacks are just values

Quotations

Closing over values

Staged programming

Towers of stacks

Miscellaneous

There shouldn't be any names in S₀

Branches are the key

Out of date

Primitives should be primitive

Swanson formalism

Rethinking the ‘enum’ and ‘struct’ modules