2
$\begingroup$

This paper adds effect handlers to a number of languages, including Haskell - and also adds a form of effect typing to Haskell. But what's the point of the latter? I know that effect types can be used in a metaprogramming context (e.g. in a compiler) to prove the soundness of optimisations, but are there any uses of effect typing outside metaprogramming in Haskell?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.