💾 Archived View for dcreager.net › swanson captured on 2024-02-05 at 09:55:26. Gemini links have been rewritten to link to archived content

More Information

⬅️ Previous capture (2023-11-14)

➡️ Next capture (2024-03-21)

🚧 View Differences

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

Swanson

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

Swanson website

S₀

Continuation-passing S₀: The return

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