AD
- гораздо проще проверить все возможные инварианты внутреннего стейта. Это предотвращает большое количество логических ошибок и «непредусмотренных случаев»
- строго детерменированная работа с памятью не позволит появиться сложно отслеживаемым тормозам в случайных местах