Factor is missing a character type, Haskell is missing dependent types, Java doesn't have a function type, etc.<p>Is there some page I missed that compares the type systems of various programming languages?
Ask HN: Comparison of type systems?