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?


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.