Explicitly typed exceptions for haskell

Authors:
José Iborra
Affiliations:
DSIC, Universidad Politecnica de Valencia, Spain
Venue:
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Year:
2010

Citing 9
Cited 0

The essence of functional programming

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monad transformers and modular interpreters

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-based analysis of uncaught exceptions

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Java Language Specification

The Java Language Specification
Type Classes with Functional Dependencies

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Associated types with class

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An extensible dynamically-typed hierarchy of exceptions

Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Domain specific embedded compilers

DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching

Proceedings of the first ACM SIGPLAN symposium on Haskell

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a monad for checked, explicitly typed exceptions, which provides as a simple Haskell library what for other languages is a native feature. Multi parameter type classes and overlapping instances are the only essential extensions to Haskell 98 required.