Why Haskell is not yet ready for the mainstream…


The indecipherability of Haskell error messages

PS C:\Users\rcook> ghci
GHCi, version 7.8.2: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> 1 2
Could not deduce (Num (a0 -> t))
arising from the ambiguity check for `it'
from the context (Num (a -> t), Num a)
bound by the inferred type for `it': (Num (a -> t), Num a) => t
at <interactive>:2:1-3
The type variable `a0' is ambiguous
When checking that `it'
has the inferred type `forall a t. (Num (a -> t), Num a) => t'
Probable cause: the inferred type is ambiguous

Enough said.

Tags: Haskell

All content © 2017 Richard Cook. All rights reserved.