Okay, I have, for a while now, understood the notion that some "types" can become rather long(exponential even in comparison to the code), and thus, realized that type inference is a useful tool in dealing with the fact that the types can become a PITA in to write down in the code. However, the past few days I have been building what I loosely call an "HTML Formatting Combinator Kit" in Java, with generics fully loaded to ensure correctness(for instance, my Table class has spots for a header... read more
