Intermediate
Compilers & Programming Language Theory
Q47 / 100
What is effect type systems?
Correct! Well done.
Incorrect.
The correct answer is B) Type systems tracking and controlling side effects (IO, exceptions, state, non-termination) as part of the type, enabling safe effect isolation and composition
B
Correct Answer
Type systems tracking and controlling side effects (IO, exceptions, state, non-termination) as part of the type, enabling safe effect isolation and composition
Explanation
Effect systems: Haskell's IO monad, algebraic effects (Koka, Eff), capability systems. Rust's Send/Sync track thread safety. Effect handlers (Multicore OCaml) provide modular non-local control flow with type tracking.
Progress
47/100