когда нужен результат. В основном когда инструмент (язык) требует для решения по твоей схеме. Некоторые языки не требуют.

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

это логическое решение когда, оно вносит понимание, но может не устроить по конкретности преподователя. Несмотря на то, что конкретно типы нетребует в задаче он, он же может на это забить и устроить таким образом заваливание. Поэтому для дробных чисел: real,float,double; для целых чисел integer; word и так далее. Суть их в длине, цель их экономия оперативной памяти, а выбор чисто для результата. Некоторые без нужного типа отказываются вмещать дробное число в такой тип (тип у переменной), поэтому намеренно вызывает поломку программы.