These slides from a Perl talk include a good little introduction to ML- and Haskell-style type checking: If we put a list of strings into our sort function, the compiler says that when it returns, it will have turned it into a list of ints. This is impossible. One possible explanation is that the sort … Continue reading Type Checking That Doesn’t Suck