高階関数は型を前提としている。 型とは整数型とか文字型とかではなく、構造のほうか。 構造とはリスト・木・スタック・キュー等の事か。 文字列型、配列はリスト構造である。 そうか、従来の型はatomに該当し、構造によって高階関数が存在する。 つまり、リ…