Could you illustrate, preferably with an example, how weak type system would have worked better than a strongly typed system?