| Next | Atypical Typing | 54 |
sort :: (Ord a) => [t] -> [a]
But this is impossible
One way the impossible can occur is if it never can occur
“When the function returns, it could return a list of strings.”
“But it can't possibly return a list of strings.”
“Right!”
continued...
| Next | |
Copyright © 1999,2008 Mark Dominus |