Ask HN: Comparison of type systems?

Factor is missing a character type, Haskell is missing dependent types, Java doesn't have a function type, etc.

Is there some page I missed that compares the type systems of various programming languages?