The feature of the Glasgow Haskell Compiler to infer types at compile time before code is executed.
Allows detection of type-mismatch errors.
The feature of the Glasgow Haskell Compiler to infer types at compile time before code is executed.
Allows detection of type-mismatch errors.