StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict
Olaf Chitil · Kent Academic Repository (University of Kent) · 2011
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.