Какая типизация лучше - статическая или динамическая?

Динамическая типизация - быстро пишем медленно работающий код. Потом очень долго выискиваем ошибки, возникшие из-за банальных опечаток в коде.

Статическая типизация - медленно пишем быстро работающий код. Значительная часть ошибок отлавливается компилятором и сразу же исправляется разработчиком.

Важнее быстро написать код - используем динамический язык, важнее производительность и/или надёжность кода - используем статический язык.

P.S. Статический язык никак не ограничивает гибкость и возможности. Он ограничивает только уровень говнокодинга, порождаемого бесконтрольностью динамических языков.

Ты кого больше любишь: маму или папу?
Статическая точнее ловит ошибки на этапе компиляции, но при сложной логике работы программы может потребоваться динамическая.

Если бы одна из типизаций была во всём лучше другой, то другой не существовало бы)
И у той, и у другой есть как плюсы, так и минусы.

Динамическая, естессно. Иначе бы не было стольких попыток ее реализовать, при том что она добавляет много сложностей - и не только в реализации, но и в использовании.
Статическая более примитивна и проста (и поэтому особо любима слабыми разработчиками), но ограничивает возможности, гибкость. Практически все современные ЯП так или иначе поддерживают динамическую типизацию - если не в основе, то через специальные вариантные типы. А такие языки как Rust, совмещают оба подхода к типизации (сохраняя преимущества обоих, и неплохо справляясь с их недостатками) - за подобными практиками будущее.

В ассемблере вообще нет такой проблемы

С динамической типизацией сложнее оптимизировать программы.

акашкацгрц