Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics
Ruud Koot, Jurriaan Hage · 2014
Most statically typed functional programming languages allow programmers to write partial functions: functions that are not defined on all the elements of their domain as specified by their type. Applying a partial function to a value on which it is not defined will raise a run-time exception, thus in practice well-typed programs can and do still go wrong.