あいまいな種類の組成

Question

このタグには初めての投稿がありますが、私はまだその言語で暫定的な手順を取っていますが、いくつかの動的FPの背景があります。

私はisZero関数を定義しました。

isZero :: Int -> Bool 
isZero x = x == 0 

そして、私はisMultiple関数を作成するmod機能とそれを構成しようとしています。

isMultiple = isZero . mod 

署名がa0 -> Intとmoda0 -> a0 -> a0であることを期待しているためしかし、これは（それが複数の精度をサポートしているためであると仮定して）、型の不一致が生じます。

私が気付いたのは、明示的に（型署名を提供する）場合、問題はありません。

isMultiple :: Int -> Int -> Bool 
isMultiple x n = isZero $ mod x n 

は .演算子を使用してあいまいなタイプのコン機能を使用する方法はありますか？

Answer 1

さて、isMultipleのあなたの最初の定義で種類を見てみましょう：あなたが見ることができるように

(.)   :: (b -> c ) -> (a -> b   ) -> a -> c 
isZero   :: Int -> Bool 
mod   ::     Int -> Int -> Int 
        -- same as  Int -> (Int -> Int) 

は、両方のb年代が同じではありません。それがうまくいかない理由です。しかし、人はそれが仕事を得ることができますが、それはもう目にそれは容易ではありません。

isMultiple = (isZero.) . mod 
      = ((.) isZero) . mod 
      = \x -> ((.) isZero) . mod $ x 
      = \x -> ((.) isZero) (mod x) 
      = \x -> (.) isZero (mod x) 
      = \x -> isZero . mod x 

あなたが見ることができるように、mod xはInt -> Int型を持つので、(.)とisZeroを有する組成物に適しています。