Extensibility via capabilities and effects

Much of today&rsquo;s software limits user extensibility. This article explores one potential route forward using capabilities, effects, and extension-time type checking to provide a more predictable extension path.