関数型をhaskellに変換する方法はありますか？

Question

私はかなり新しいhaskellですが、私は関数を型変換してこの問題にぶつかります。その関数型以外の関数について何も知らないとしましょう。関数の型を変換して新しい関数として入れることは可能ですか？ たとえば

myfunc:: (Int -> Int -> Int) -> (Integer -> Integer -> Integer) 
myfunc inputfunc = (function with type (Integer -> Integer -> Integer)) 

このようなことはありますか？

Answer 1

すでに他の人が説明し、何が欲しいのは、基本的にはこれです：

convert f x y = fromIntegral (f (fromIntegral x) (fromIntegral y)) 

これは非常に簡単です。しかし、もし私がそれをするなら、私はData.Functionからのon関数を利用するでしょう。Data.Functionは、それを適用する前に2つの引数を取る関数の入力を変換します。だから、あなたの例では、それは次のようになります。

convert f x y = fromIntegral ((f `on` fromIntegral) x y) 

私は、個人的には、さらに一歩進み、この関数は、ポイントを無料にするが、on f fromIntegral 2つの引数を期待するので、あなただけの(.)を使用することはできませんでしょうので、私は通常、このためにオペレータ定義：これは自分で動作しますなぜあなたがしたい場合は、把握することができますが、今、私はこのよう変換を定義することができます

(.:) = (.) . (.) 

を：

convert f = fromIntegral .: (f `on` fromIntegral) 

これははるかに読みやすいと感じていますが、私は今のようにハスケルをしばらくコーディングしていたので、私は偏っています。あなたはこの変数の推測されたタイプを見れば

また、あなたはそれはあなたが望んでいたものよりもはるかに一般的だと見たい：

convert :: (Integral a, Integral a1, Num b, Num b1) = (b1 -> b1 -> a) -> a1 -> a1 -> b 

をとにかく、私は、これはやや便利です願っています。 >のInt - それのうちのどれかがあなたを混乱させる場合は、私に質問してください、私は喜んで答えると思います:)

Answer 2

ヒント：

• (Int -> Int -> Int) -> (Integer -> Integer -> Integer)も(Int -> Int -> Int) -> Integer -> Integer -> Integerを書き込むことができます。これは3つの引数の関数です。

• Converting Numbers