[x-yuri]

На счёт первого против. Теряется гибкость.

объявление типа каждой переменной будет обязательным?

На счёт второго не против. Появляется гибкость.

где же она появляется? За счет чего?