型の関数に「決して評価されない」引数を表現する最善の方法は何ですか？

Question

タイトルについて申し訳ありませんが、短い文章で説明する方が良いかどうかはわかりません。

アイデアは、関数が1つの引数を受け入れてもそれを評価しないことを表現する関数型が必要です。

あり私は考えることができるいくつかの選択肢がある、と私は最高のものであろうかを知りたい：

（以下のすべての例については、Intは、任意の具体的な種類からわずか任意の選択である）

は、
1. f ::() -> Intを尽くすものとf給
2. f :: forall a . a -> Int は、些細な値は
3. f :: Void -> Int
を評価しなければ何もありません f = absurdと fには undefinedまたは let x = x in xが適用される可能性がありますが、 fが終了することがわかっている場合は、その引数が評価されないこともわかります。
4. 他の方法があるかどうかわかりませんが、もしあればあなたの提案をしてください。私は最初の場所でこのような機能を必要とする理由について

：私は、ストリーム処理ライブラリを設計し、ストリームプロセッサの種類がSP <input-type> <output-type>ようになるようにしたいと仮定し、それは、プロセッサは、任意の入力を必要としないことも可能です。これをArrowにしたい場合は、ある時点で<input-type> -> <output-type>のような関数を処理する必要があります。

Answer 1

最初は完璧です。任意の型の引数を受け入れるので、提供するものに最大限の柔軟性があります（undefinedも）。 ＃2は有効な引数である()を1つに制限します。 ＃3はオプションではありません。 関数を呼び出すこともできません。なぜなら、それを与える有効な引数がないからです。

これはまさにconst :: a -> b -> aが返すものです。 foo = const 3は、任意の型の値をとり、3を返す関数です。