Effect system

A type-system mechanism that tracks and lets code abstract generically over computational effects (asynchrony, fallibility, mutation), the general framework behind proposals like Rust's keyword/effect generics aimed at dissolving the sync/async function-coloring split.

grounded in: Trend theme: 'Rust ecosystem debates about async concurrency and language editions' — the async-as-effect / keyword-generics discussion; established programming-language-theory concept.