Next Atypical Typing 55

Huh???

        sort :: (Ord a) => [t] -> [a]

One way the impossible can occur is if it never can occur

“Given a list of numbers, it could return a list of strings.”

“But it can't possibly return a list of strings.”

“Right!”

In fact, this function has a bug.

continued...


Next Copyright © 1999,2008 Mark Dominus