手続き型の対位概念は宣言型。関数型ではない。
手続き型の関数型、
宣言型の関数型、
両方あり得る。
宣言型で有名なのはPrologやSQLなんかが有名やね。