>そしてPascal は function と procedure を使い分け
>られるから関数型には入らないらしい。
Pascalはハイブリッド型関数型言語です。
C++が純粋なOOPLであるSmalltalkとの対比でハイブリッド型OOPLと呼ばれるのと同様です｡