Типизированный и бестиповый язык

Я изучаю C и язык ассемблера вместе. Я заметил, что ассемблер - это язык без типов по сравнению с C , который требует объявления типа данных перед обработкой данных. Но также я узнал, что даже код, написанный на C , сначала компилируется в код, написанный на ассемблере, а затем ассемблируется в объектный код. Это означает, что объявление типа данных, которое мы используем в C или любом языке высокого уровня, предназначено только для упрощения компилятора C . Они не имеют особого отношения к объектному коду. Это правильно?

Я понял, что объявление типа сообщает компилятору, какие все операции могут быть выполнены с данными, размер данных (требуемых для хранения данных в сегменте данных), размер максимального и минимального десятичных чисел, которые могут храниться. Правильно ли я так говорю?

Есть ли другие преимущества объявления типа?