Если сравнивать императивную и декларативную парадигмы, то основное отличие на мой взгляд состоит в том, в императивном программировании модель вычислителя находится в том или ином состоянии, а в декларативном программировании состояний нет.