I'm not sure how you would go from a static untyped language to a dynamic typed language. Pretty sure only the opposite is possible. You could have type-inference... but this is different from having a weak type system.