Является ли слабая типизация увеличением или снижением производительности?

При написании интерпретируемых языков быстрее иметь слабую типизацию или строгую типизацию?

Мне было интересно это, потому что часто более быстрые интерпретируемые языки с динамической типизацией (Lua, Javascript), и на самом деле большинство интерпретируемых языков используют слабую типизацию.

Но, с другой стороны, строгая типизация дает гарантии, что слабая типизация этого не делает, поэтому возможны ли методы оптимизации с тем, который невозможны с другим?

Под строго типизированным я подразумеваю отсутствие неявных преобразований между типами. Например, это было бы недопустимым в строго типизированном, но (возможно) допустимым в слабо типизированном языке: "5" * 2 == 10.Особенно Javascript печально известен такими преобразованиями типов