As far as I have seen there is no type checking at all. Actually writing the “types” doesn't change much, they still blow up at runtime as before. I think that “handcuff” straw man is more or less a Java straw man.
We had more or less the thing you propose with C. Lint and ton of other tools tried it, but it wasn't that great in practice. -- You received this message because you are subscribed to the Google Groups "The Java Posse" group. To view this discussion on the web visit https://groups.google.com/d/msg/javaposse/-/3tp50ilyuSoJ. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/javaposse?hl=en.
