|Version 5 (modified by john@…, 9 years ago) (diff)|
Scoped Type Variables
Type annotations, which Haskell 98 allows in expressions, are also allowed in patterns and (currently in GHC only) in result type signatures, attached to the left side of a function definition. New type variables in these annotations scope over the function body, permitting locally defined variables to be given signatures in situations where it would be impossible in Haskell 98, e.g.
sortImage :: Ord b => (a -> b) -> [a] -> [a] sortImage (f::a->b) = sortBy cmp where cmp :: a -> a -> Ordering cmp x y = compare (f x) (f y)
Note that although GHC and Hugs use the same syntax, the meaning of type variables is quite different, and there are other differences too.
- Allows better documentation (without them, some expressions cannot be annotated with their types).
- Extensions such as RankNTypes and GADTs require such annotations, so even more important in conjunction with them.
- Many different forms of scoped type variables in GHC makes them hard to reason about.
f :: a -> a f = \x -> (x :: a)is rejected but
g = let f :: a -> a = \x -> (x :: a) in fis allowed.
- A rule like ExplicitQuantification would most likely be needed if these were put into the standard.