💾 Archived View for dcreager.net › swanson captured on 2023-11-04 at 11:57:12. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2023-09-28)

➡️ Next capture (2023-11-14)

🚧 View Differences

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

Swanson

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

Swanson website

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