💾 Archived View for dcreager.net › swanson captured on 2024-03-21 at 15:38:10. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2024-02-05)

➡️ Next capture (2024-05-10)

🚧 View Differences

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

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

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