它在标题中说的是什么.如果我写一个类型签名,是否可以通过算法生成具有该类型签名的表达式？
似乎有可能做到这一点.我们已经知道,如果类型是库函数类型签名的特例,Hoogle可以通过算法找到该函数.另一方面,与一般表达式相关的许多简单问题实际上是无法解决的(例如,不可能知道两个函数是否做同样的事情),因此这是其中之一几乎难以置信.
一次问几个问题可能是不好的形式,但我想知道:
可以吗？
如果是这样,怎么样？
如果没有,是否有可能的限制情况？
两个不同的表达式很可能具有相同的类型签名.你能算出所有这些吗？甚至其中一些？
有没有人有工作代码,这是真的吗？