haskell - ラムダ式の Haskell 型シグネチャ

Question

プログラムに次のようなラムダ式があるとします。

\x -> f $ x + 1

タイプ セーフのために、x は Integer でなければならないことを指定したいと思います。何かのようなもの：

-- WARNING: bad code
\x::Int -> f $ x + 1

Answer 1

\x -> f $ (x::Int) + 1代わりに書くことができます。または、おそらくもっと読みやすい\x -> f (x + 1 :: Int). 型シグニチャは一般に、構文的に意味がある限り左側にあるものすべてを包含することに注意してください。これは、ラムダが右側に拡張するのとは反対です。

ちなみに、 GHC 拡張機能ScopedTypeVariablesでは、署名をパターンに直接書き込むことができ\(x::Int) -> f $ x + 1ます。しかし、その拡張機能は、心配したくないかもしれない他の多くのものも追加します。構文上の問題のためだけにオンにするつもりはありません。

Answer 2

必要がないことに注意して、CAMcCannの回答に追加したいと思います ScopedTypeVariables。変数を使用しない場合でも、いつでも次のことができます。

\x -> let _ = (x :: T) in someExpressionThatDoesNotUseX