Silk, a Low-Level Language for Typed Effects

Field notes

Silk's examples expose effects as typed requirements rather than hiding them in global state or an implicit runtime environment. In the featured program, Effect.log remains a lazy description until run executes it, while stdoutProvider supplies the Logger through an exclusive mutable borrow. The browser compiler provides hoverable types, documentation, and underlined diagnostics; the page also identifies current explicit service provisioning as a stage-0 limitation.