質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.50%
Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。

GHC

Glasgow Haskell Compiler(GHC) は Haskell コンパイラです 異なる複数のアーキテクチャのネイティブコードや、C言語へコンパイルする事ができます。

Q&A

解決済

1回答

1710閲覧

未定義の関数のactual typeをどうして推測できるのか

LouiS0616

総合スコア35658

Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。

GHC

Glasgow Haskell Compiler(GHC) は Haskell コンパイラです 異なる複数のアーキテクチャのネイティブコードや、C言語へコンパイルする事ができます。

0グッド

1クリップ

投稿2019/10/21 12:25

編集2019/10/22 06:07

前置き

このコードをコンパイルすると、次のようなエラーを吐きます。Wandbox

Haskell

1-- Ex1.hs 2main :: IO() 3main = do 4 let 5 a = 1 :: Int 6 b = 2 :: Int 7 8 print $ (a / b :: Double)

plain

1prog.hs:8:14: error: 2 • Couldn't match expected type ‘Double’ with actual type ‘Int’ 3 • In the second argument of ‘($)’, namely ‘(a / b :: Double)’ 4 In a stmt of a 'do' block: print $ (a / b :: Double) 5 In the expression: 6 do let a = ... 7 b = ... 8 print $ (a / b :: Double) 9 | 108 | print $ (a / b :: Double) 11 | ^^^^^

actual type 'Int' との文言は、 (/) :: Int -> Int -> Int の存在を示唆しているように思えます。
しかし、以下のコードもやはりエラーを吐きます。Wandbox

Haskell

1-- Ex2.hs 2main :: IO() 3main = do 4 let 5 a = 1 :: Int 6 b = 2 :: Int 7 8 print $ (a / b :: Int) -- 単に print $ a / b でも同様のエラーを吐く

plain

1prog.hs:8:14: error: 2 • No instance for (Fractional Int) arising from a use of ‘/’ 3 • In the second argument of ‘($)’, namely ‘(a / b :: Int)’ 4 In a stmt of a 'do' block: print $ (a / b :: Int) 5 In the expression: 6 do let a = ... 7 b = ... 8 print $ (a / b :: Int) 9 | 108 | print $ (a / b :: Int) -- 単に print $ a / b でも同様のエラーを吐く 11 | ^^^^^

エラーの原因が関数の存否に遡り、タイムトラベルを目撃したような気分です。

本題

最大の疑問は、次の二つです。

  • 型の一致する関数が無いのであれば、なぜその時点でエラーが出ないのか?
  • 定義されていない筈の演算に、なぜ actual type が存在するのか?

また、併せて次の点も気になります。

  • 世のHaskellerは 整数÷整数=浮動小数 の計算をどのようにスマートに解決しているのか?

暗黙の型変換が無い以上 fromIntegral に頼るしか無いのでしょうか。

  • 整数÷整数=浮動小数 の計算を担う中置関数を自前で用意する場合、慣習的に用いられる命名はあるのか?

とりあえず (*/) :: (Integral a, Integral b) => a -> b -> Double を定義してみましたが、高頻度で用意されそうな関数である以上、慣習的な命名があるのではと考えます。

答えやすい質問だけお答え頂いても結構です。


何か質問に不足がありましたら、どうぞ遠慮無くご指摘下さい。

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ベストアンサー

厳密に GHC の型推論の処理を追ったわけではないので多分に推測であることを了承ください。

(/) の型は a -> a -> a です(ドキュメント)。なので a :: Intb :: Int であることと合わせて考えると、a / b の型が Int であると導き出されます。これが actual type です。

注釈した Double が expected type となり、2つの比較した結果の不一致が質問の1つめのエラーです。

次に、a / b :: Int と注釈すると上記の型検査はパスします。

上で (/) :: a -> a -> a であると書きましたがこれは厳密には正しくなく、Fractional a => a -> a -> a が正しい型です。

なので、次に IntFractional のインスタンスであるか検査されます。

すると、これは偽であるので、結果として質問の2つめのコンパイルエラーとなります。

ここまでが、

  • 型の一致する関数が無いのであれば、なぜその時点でエラーが出ないのか?
  • 定義されていない筈の演算に、なぜ actual type が存在するのか?

に対する回答です。

  • 世のHaskellerは 整数÷整数=浮動小数 の計算をどのようにスマートに解決しているのか?

はい。fromIntegral を使います。いちいち明示的に変換します。

  • 整数÷整数=浮動小数 の計算を担う中置関数を自前で用意する場合、慣習的に用いられる命名はあるのか?

あまり慣習的に用いられる命名はないように思います。そもそも、私はこれがあまり必要になったことがないためですが。

投稿2019/10/21 14:05

編集2019/10/21 14:07
kakkun61

総合スコア285

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

LouiS0616

2019/10/21 16:01 編集

回答ありがとうございます。 関数の存否の確認 ⇒ 返り値の型の突合 の順で処理が進むとの認識でしたが、実態は逆なのですね。 Actualという形容から、何かしらの値が実際に返されているのだと考えていました。『実際の型』より『推測される型』と捉えた方が良いのでしょうか? 後半二つの質問に関しましても、ご回答非常に参考になりました。 横着して簡単な方法やイディオムが無いものかと探していましたが、Haskellic (?) なコーディングに親しめば堅牢さを担保する手間の有難さが実感できるのかもしれません。
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問