Well if you think Java doesn't have a sufficiently good type system, then surely Go is even further from one? Not saying those are the only two GC languages, j

Well if you think Java doesn't have a sufficiently good type system, then surely Go is even further from one? Not saying those are the only two GC languages, just circling back to the post spawning these comments.