ownership-disciplines

My own personal list of ownership policies. :microscope: :books: :question: :thinking: [Work in Progress]

Project maintained by marcoonroad Hosted on GitHub Pages — Theme by mattgraham

Owners-as-Events

In this discipline, Owners have the capability to change the type of their owned values. Such ownership reference is preserved, but both values and types are changed. This kind of Ownership Discipline is just how some Typestate systems are made, for example, the Plaid programming language. The name “Events” is due the analogy of FSMs on type systems: Owners are those who have the capability to perform a state transition on type-level.