はじめに
Typed Holesです。
IDEと対応したエディタがあればフロートウィンドウで出してくれます。なければコンパイルしてエラー表示から見ましょう。
やり方
func :: String
func = "aaa" <> show 1
のとき
func :: String
func = "aaa" <> ?show 1
とか
func :: String
func = "aaa" <> ?show ?1
両方につけることもできます。
これはできない!
func :: String
func = ?"aaa" <> show 1
文字列の前にはハテナつけられないみたいです。こんなときは、
func :: String
func = ("aaa" :: ?_) <> show 1
こうします。でもこれだとHoleに名前がついていなくて(_)分かりづらいので、
func :: String
func = ("aaa" :: ?foo) <> show 1
のようにして適当な名前をつけてあげることができます。