1
A
答えて
5
はい。そうでなければ引数を無視する関数でこれを見ることができます。
foo :: a -> a -> Bool
foo _ _ = True
同じタイプの作品の二つの引数でそれを呼び出します。
Prelude> foo 1 1
True
Prelude> foo 'x' 'x'
True
異なるタイプの2つの引数を使用して呼び出すと、タイプエラーが発生します。正確なエラーは、選択するタイプによって異なります。
Prelude> foo 1 'x'
<interactive>:5:5:
No instance for (Num Char) arising from the literal ‘1’
In the first argument of ‘foo’, namely ‘1’
In the expression: foo 1 'x'
In an equation for ‘it’: it = foo 1 'x'
Prelude> foo 'x' (1::Int)
<interactive>:8:10:
Couldn't match expected type ‘Char’ with actual type ‘Int’
In the second argument of ‘foo’, namely ‘(1 :: Int)’
In the expression: foo 'x' (1 :: Int)
In an equation for ‘it’: it = foo 'x' (1 :: Int)
Prelude> foo (1::Int) 'x'
<interactive>:9:14:
Couldn't match expected type ‘Int’ with actual type ‘Char’
In the second argument of ‘foo’, namely ‘'x'’
In the expression: foo (1 :: Int) 'x'
In an equation for ‘it’: it = foo (1 :: Int) 'x'
関連する問題
- 1. 関数型プログラミング、Haskell関数を変数リストに適用する
- 2. Haskell IO関数 - >型マッチエラー
- 3. Haskellのオーバーラップインスタンスと型の関数
- 4. haskellの多型関数のリスト?
- 5. レコード型の多態関数Haskell
- 6. Haskellの関数型特殊化
- 7. Haskellで関数 'floor'の型エラー
- 8. 関数型をhaskellの関数定義で宣言する
- 9. Haskellの `a - > b`型の関数を` String - > String`型に変換する
- 10. Haskell関数が存在型を返す
- 11. Basic Haskell関数型ですか?
- 12. 関数haskellのextern関数?
- 13. Haskell protobuf:あいまい型変数
- 14. Haskellで型変数をインスタンス化する
- 15. char型変数を型文字列関数に渡す関数
- 16. Haskellの関数の引数として渡す型?
- 17. Haskellの代数的データ型
- 18. Haskell:データの複数の型変数のインスタンス?
- 19. primeTest関数Haskell
- 20. Generalize haskell関数
- 21. Haskell replaceValues関数
- 22. Haskell:上位レベル関数の変数を参照する "where"関数の型を宣言する
- 23. HaskellのLuhn関数
- 24. Golang:型変数を関数に渡す
- 25. 関数型をhaskellに変換する方法はありますか?
- 26. Haskell - 関数に複数の関数を渡す
- 27. Haskell - マップ関数に引数を渡す?
- 28. モナドの型コンストラクタとリターン関数の相違点(Haskell)
- 29. Haskell - A型のすべての関数 - > A - > ... - > A
- 30. 関数の変数ではないHaskellの
はい。 –
Alec