I think the problem is not whether or not the language has type annotations but that none of those interfaces have been made explicit. It's all just convention. It's amazing what works, but you can never be certain.