>>764
>関数型言語であってもリストで手続き（順序的な処理）を表わせるから
>手続き型／非手続き型の区分は命令型／関数型の切り口とは異なる別概念
>Prologみたいに処理の順序が平に書かれない言語を非手続き型といい、
>手続き型というのはそれの対義語

お前だけの常識で語られてもなぁ