宣言的
雰囲気でしか理解していないが……
前の状態に左右されず、インプットに対してアウトプットが冪等な感じの性質
関数型プログラミング
なども
宣言的プログラミング
の性質を受け継いでいる
宣言部分と状態を分離できる
⇔
命令型プログラミング