pascalなど、多くの命令型言語ではある関数を他の関数の引数として与える操作が許されている。