New Context type for structured, scoped shared state

language design
2

This is sometimes also called an "effect system". It has been discussed before:

2 Likes