コード内の特殊すぎる型シグネチャを検出する自動ツールはありますか? 不自然な例として、私が書いたとしましょう
add3 :: Int -> Int
add3 = (+ 3)
私が実行できるプログラム (「checkSingatures foo.hs」など) はありますか?
add3 :: Num a => a -> a
add3 = (+ 3)
これはそれほど難しいことではないと思います.型シグネチャを取り除き、GHCiが何を推論するかを見てください.
質問する
151 次