遅延評価におけるプリミティブ関数のタイプ

Question

ハスケルのような遅延プログラミング言語の正確な型が何であるか知りたい。

ここで、サンクは弱い頭の通常の形のオブジェクトに評価されています。次に、Cのような厳密な言語でのプリミティブ関数の型はどうでしょうか？

私の推測は、次のとおりです。

primitive1 : (thunk, thunk, ...) -> thunk 
primitive2 : (thunk, thunk, ...) -> object 

私は、彼らがそれらのいくつかを必要としないかもしれないので、プリミティブ関数は、引数としてサンクを渡すべきだと思います。しかし、私は彼らがサンクや評価されたオブジェクトを返す必要があるかどうかはわかりませんが、遅いものは以下のようないくつかの関数でラップして怠け者にする必要があります。 GHC、Haskellの原始関数（時々PrimOpと呼ばれる）（「ヒープ・オブジェクト」）はポインタの混合物と呼ば であり、（Cスタイルのint値を含む、ダブルス、など）非ボックス化 タイプで

lazy : ((thunk, thunk, ...) -> object) -> ((thunk, thunk, ...) -> thunk) 

Answer 1

。 Haskellタイプのシステム は、PrimOpsがいつも期待しているポインタとボックス化されていない値の数、順序、タイプを取得することを保証します。これは、プリミティブがヒープオブジェクトの特定の型へのポインタを期待しているところ、Stringは、 それがあるため（いずれかリスト コンストラクタかもしれヒープオブジェクトへのポインタを期待していると言うこと、しかし、注意することが を重要ですHaskell Stringは文字のリストですまたはサンク リストコンストラクタで評価することができます。

したがって、Haskell PrimOpの「厳密な」タイプは、サンクと非サンクの間で を区別しません。原始関数が にあった場合は、リストの長さは、例えば（ありません）を取得、それはおそらく、あなたの表記を使用して、タイプを持つことになり、の：

list_objectは へのポインタになり

primitiveLength : (list_object) -> unboxed_int 

リスト コンストラクタまたはリストコンストラクタを生成できるサンク。

これは本当に賢明なアプローチです。 PrimOpは、その引数がまだサンクであるか、以前の計算によって部分的に（または完全に）評価されたかどうかを制御することができないので、どちらかを受け入れる準備ができている必要があります。

同様に、Haskell PrimOp がヒープオブジェクトを返す場合、そのオブジェクトは技術的にサンクでも非サンクでもかまいません。その選択はプリミティブの "厳密な"型シグネチャには影響しません。

実際には、PrimOpがサンクを返すのはあまり役に立ちません。レイジー言語では、プリミティブが呼び出されているという事実は、その戻り値が必要であることを意味します。それがサンクを返す場合、そのサンクはすぐに評価する必要があります、なぜサンクを返すのですか？

（追加編集：）ところで、上記のPrimOpsには本当に特有のものはありません。ユーザー定義のHaskell関数も、ポインタとボックス化されていない型の混合で呼び出されます（そして、サンクを返すことはありません）。