Programming and reasoning with algebraic effects and dependent types

  title={Programming and reasoning with algebraic effects and dependent types},
  author={Edwin Brady},
One often cited benefit of pure functional programming is that pure code is easier to test and reason about, both formally and informally. However, real programs have side-effects including state management, exceptions and interactions with the outside world. Haskell solves this problem using monads to capture details of possibly side-effecting computations --- it provides monads for capturing state, I/O, exceptions, non-determinism, libraries for practical purposes such as CGI and parsing, and… CONTINUE READING
Highly Cited
This paper has 75 citations. REVIEW CITATIONS



Citations per Year

75 Citations

Semantic Scholar estimates that this publication has 75 citations based on the available data.

See our FAQ for additional information.