А>"Динамически типизированный" и бестиповый — это одно и то же.

бред.
Для примера сравни безтиповый ассемблер, в котором тип данных
определяется исключительно применяемой операцией. Ты можешь
сложить два числа, хотя там могут быть указатели.
Ошибки не будет. Динамически типизируемый язык выдаст ошибку.
Безтиповых языков сейчас, наверное, кроме ассемблера и нет.
Хотя можно поспорить насчет tcl.