その場合その関数は、型のある言語ではfunction type()などと呼ばれる型を持ち、またその値は関数オブジェクトなどになる。