その意味をあなたは問題なく想像できるでしょう。無環境関数は、この関数の呼び出しを実行するオブジェクトコードが配置されているコードセグメントを指し示すポインタによって表現されます。C言語において、全ての関数は無環境です。そのポインタはヒープ中の(実行時に)割り当てられたタプルがある場所を指し示しています。通常、このタプルの1つ目の要素は無環境関数を表わすポインタで、残りの要素は束縛群を表わしています。環境とペアになった無環境関数であると考えることができます。これは無環境関数のクロージャ関数と同じではありません。ような関数型言語の全ての関数はクロージャ関数です。示されるクロージャ関数です。それゆえ無環境関数とクロージャ関数は型レベルで見分けることができます。C言語のトップレベル関数にコンパイルできないことを示す警告もしくはエラーを引き起こす可能性があります。本体に含まれていることにあります。実行時に実際のクロージャが作られるわけではありません。関数が直接適用されない時でも、しばしばクロージャを作る必要があります。関数呼び出しの返値もまた関数であるかもしれません。適用した別の関数を返します。返すのは自明でしょう。束縛した環境から構成されています。