StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict.
University of Kent, Kent, UK
(Full text available)
In a non-strict functional programming language functions that yield the same result for all total arguments can still differ for partial arguments, that is, they differ in their strictness. Here a tool for Haskell is presented that enables the programmer to easily check whether a given function is least-strict; if it is not least-strict, then the tool suggests how to make it less strict.
- Depositors only (login required):