完全多型関数を使用できますか？

Question

完全に型のあいまいな関数を持つことは可能でしょうか？型変数は、型コンストラクタ宣言または型クラスの要求に使用される構文のような、ある

Poly :: a -> a 

：機能のようなタイプの署名を持っているでしょうか？

data TypeConstructor a = One | Two a 
Func :: Num a => a -> a 

使用されているどのような値コンストラクタ知らなくても、常にそれ自身の値を返すユビキタスid機能させることができるでしょうか？

Answer 1

Haskell関数は、基底型の具体的な機能を使用していない場合、自動的にポリモーフィックになります。あなたはghciとタイプを開く場合：

>>> let f x = x 

...そして、それは自動的にfが完全に多型であることを推測しますそれをfのタイプを尋ねる：

>>> :type f 
f :: t -> t 

同じことは、ファイルを使用する場合。

f x = x 

を...と、コンパイラはfがa -> aを入力していることを推測されます：あなただけ定義することができます。また、fも明示的に注釈を付けることができます。

f :: a -> a 
f x = x