在做 CIS194(2013 年 Spring )作业 10 时，我遇到了 Parser 类型的 Applicative 实例。我向 Google 寻求帮助，我遇到了这个 Reddit post 。用户ephrion给出了一个答案，也是一个类型化洞探方法的例子，我不太明白。在他的回答的评论部分他还这样说:
It's extremely useful and one of the things that makes Haskell development so nice.
所以问题是，这个方法到底是什么，这个方法中是否有一些明确的步骤顺序？
当谈到 Haskell 时，我仍然认为自己是一个初学者，通过谷歌搜索这个主题，我没有找到非常清晰的解释如何使用这种开发风格。
最佳答案
在 Haskell 中，在赋值语句右侧的几乎任何位置，您都可以编写下划线(可选地后跟其他字符)而不是值(常量或函数)。 GHC 不会编译，而是会告诉您可能想要用哪种类型的值替换下划线，并列出范围内的哪些标识符属于该类型。
Matthías Páll Gissurarson 正在扩展 GHC 的提示列表，以包含复合表达式。
关于haskell - 什么是类型孔勘探开发方式？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/45078775/