Без заголовка

Ну да. Декларативные концепции на практике сложно воспринимаются простым народом (без соответствующей поддержки со стороны опытных товарищей). Ибо компьютер решает задачу не всегда предсказуемым способом, что может нервировать неопытных. Например компьютер делает тормозное решение, или непонятно почему не работает, а оттрасировать трудно, это ведь не императивка, дебагера нет. Ну а графические нотации более понятны. Ну и кстати я считаю что для верификации софта тоже очень важно понятную/очевидную нотацию, и средства трассировки/отладки. Иначе трудно.