Hi, The second one looks like :t return the type of function (Num a, Ord a) =>
[a]
(Num a, Ord a) => [a] is not function, First part is type constraints.
On Sat, Dec 8, 2012 at 2:41 PM, Trung Quang Nguyen
Hi there,
I have a quickSort implementation, then I try to use :t in ghci to inspect what type I receive. I got this.
*Main> :t quickSort "Hello the world" quickSort "Hello the world" :: [Char] *Main> :t quickSort [3,2, 1,-10] quickSort [3,2, 1,-10] :: (Num a, Ord a) => [a]
The first one looks like :t return type of output of quickSort [Char]
The second one looks like :t return the type of function (Num a, Ord a) => [a]
Anybody know why this happens? When we will receive type of output, or type of function? And why (Num a, Ord a) => [a], even quickSort doesn't have explicit type, so this type comes from input type and type of function is defined in runtime?
Thanks a lot!
Cheers, Trung
_______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners