I collect here some notes on programming patterns that
are peculiar in some way to capability design.
Some of these will be merely reframed patterns from the
classic patterns literature; unmodified but perhaps with some hidden
Here are some patterns specific to Keykos.
Most of these patters could be added to conventional kernels.
All of them can be added to Keykos without modifying the kernel.
Thus only the subjects of these patterns become vulnerable to bugs in the code that implements the pattern and this vulnerability is usually quite limited.
The Service Key
To Rescind or Revoke
Caching of Computations
Immutable Source of Mutable Objects
A new Collection and style exploration
The Curried Creator
Wrapping ‘front ends’ in many of these pages
metering data flow