Статично?

Як на мене, це навпаки дуже вдалий приклад для демонстрації переваг строгої типізації. В двох різних (а може і у безліччі) рознесених в коді місцях утилізуються дані певного типу, і зручно задекларувати, який саме вигляд ці дані повинні мати, і в разі чого чітко отримати повідомлення про те, що вони трактуються у неочікуваний спосіб, ще до того, як код буде виконаний. А те, ланцюжки викликів методів у тому коді, піраміди колбеків, FRP чи евент брокери — це ж не стосується наявності чи відсутності строгої типізації.

Строга типізація — це в першу чергу всього лише спосіб передати статичному аналізатору коду додаткову інформацію. Підкажіть, будь ласка, чого саме я не розумію в тому класичному саме для JS стилі, який ви описуєте, що не уявляю, як користь від можливості зробити більш строгий статичний аналіз залежить від того, в якому стилі пишеться код.