What are you on about, I didn't say anything about panaceas or what not... just said the obvious: in a language without static typing you just can't assume the

What are you on about, I didn't say anything about panaceas or what not... just said the obvious: in a language without static typing you just can't assume the type of the argument at all. > And, technically speaking, yes, I agree, you do need to know all paths to be 100% certain about types. Yes, thank you.