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