Это не "динамическая типизация". Это "нестрогая типизация" или "криво-типизация".
Проблема не в том, что проверка адекватности типов делается в runtime. А в том, что она вообще не делается.
Глупость типа {}+[] может быть и при статической типизации. Глупость типа {}+[] может быть запрещена и при динамической типизации.
Например, статически типизированный С++ позволяет писать глупость вроде ("hello" + '!'), а динамически типизированный питон запрещает неоднозначности типа строка+число.
no subject
Date: 2012-01-20 10:59 am (UTC)Проблема не в том, что проверка адекватности типов делается в runtime. А в том, что она вообще не делается.
Глупость типа {}+[] может быть и при статической типизации.
Глупость типа {}+[] может быть запрещена и при динамической типизации.
Например, статически типизированный С++ позволяет писать глупость вроде ("hello" + '!'), а динамически типизированный питон запрещает неоднозначности типа строка+число.
no subject
Date: 2012-01-20 12:38 pm (UTC)Но есть любители и как в перле — «You can have anything you want, unless you want consistency».
У каждого подхода есть свои плюсы и минусы.