问题标签 [inference]

我遇到了这个术语Hindley-Milner，我不确定是否理解它的含义。

我已阅读以下帖子：

• Steve Yegge -动态语言反击
• Steve Yegge - 匹诺曹问题
• Daniel Spiewak -什么是 Hindley-Milner？（为什么它很酷？）

但是在维基百科中没有这个术语的单一条目，通常会为我提供简明的解释。
^{注意-现在已添加一个}

它是什么？
什么语言和工具实现或使用它？
你能提供一个简洁的答案吗？

我想建立一个建议列表，当我输入“PHP”时它知道建议“Web 开发”，如果我输入“数据恢复”或“软件安装”，它会建议“信息技术”。

我确信我可以为此制定一个数据库模式，但是我从哪里获取数据呢？如示例所示，系统将如何学习将“PHP”链接到“Web 开发”以及将“数据恢复”链接到“信息技术”？我不想手动执行此操作。

我能以某种方式利用社区的意见吗？我通过 last.fm 收集到，该网站查看用户听过的给定艺术家（例如，他们听得最多的那个），当他们也有给定的艺术家时，发现他们的图书馆中最常见的其他艺术家用户在他们的图书馆里，并向我推荐了最高关联的艺术家。

我今天的问题很简单：为什么编译器不能从类构造函数中推断模板参数，就像它可以从函数参数中推断出来的一样？例如，为什么以下代码无效：

正如我所说，我知道这是无效的，所以我的问题是为什么不是？允许这样做会造成任何重大的语法漏洞吗？是否存在不需要此功能的实例（推断类型会导致问题）？我只是想了解允许对函数进行模板推断的逻辑，但不适用于构造适当的类。

我想这更像是一种公开的咆哮，但为什么我不能让 c# 来推断我的 ID 类型？

以及一个以 Guid 作为 Id 的已定义 EntityObject，如下所示：

继承自定义如下的抽象EntityObject类：

get 方法的用法如下：

编辑以提供进一步的说明。

我在使以下代码正常工作时遇到问题。

我收到一个错误，triggerEvent 的类型是 'a -> unit 而不是 SendOrPostCallback。SendOrPostCallback 的类型是 Object -> unit。我想知道为什么 triggerEvent 的类型是 'a -> unit 而不是 Object -> unit。我明确地将状态声明为对象，但它仍然是'a。

有什么建议么？谢谢你。

好的，我有一种感觉，你们将能够快速指出为什么我对此感到如此困惑，但我有一个问题，为什么以下内容不会导致编译器错误或警告：

selectedObject是 a NSObject，并且name恰好是 a@property类型的名称int。

令我困惑的是为什么编译器完全愿意假设 的返回结果[ self.selectedObject valueForKey:name ]是类型的NSNumber *（不进行类型转换），以便通过调用来链接消息integerValue。

显然，KVC 将非对象“数字”类型包装到NSNumber中，但是编译器无法知道在这种特殊情况下-valueForKey:会返回一个。NSNumber *

为什么这不会导致编译器警告“id可能无法响应' -integerValue'”？

所以我正在研究如何从报告中推断知识（不是特定格式），但是在预处理之后，我应该有某种格式化的数据。

一个相当基本的推论是：“零售商有 X 库存。” 和“X 是可售的”。->“零售商销售X”我关注的知识是面向零售领域的，如果可能的话，我应该在每次迭代中提高其效率。

这是科幻小说吗（我的一些朋友认为是）？我在网上找到的相关内容是发现异常的“专家系统”、模糊推理系统和一些关于“简单知识”的咆哮。

你能帮我提一些要点，让我把注意力集中在一些研究方向上吗？

蓝色欧米茄

我使用 GNU make，我希望我的源文件和目标文件位于不同的文件夹中。

作为第一步，我希望源文件位于项目文件夹的根目录中，而目标文件位于子文件夹中（例如Debug/）。

推理规则是：

但在这种情况下，make 会一直重建所有文件，因为根文件夹中没有 .obj。

有没有办法在行中包含目标的文件夹.ss.obj？

我也试过：

$(SRC)作为我所有来源的列表，以这种$(OBJS_WITH_PATH)方式构建：

但这会建立对所有目标文件的所有源文件的依赖关系。

我想要的是修改我先写的推理规则，取Debug/*.obj文件。它现在说的是no rule to make target Debug/asdfasdf.obj。

如果我有一个带有 的函数模板typename T，编译器可以在其中自行设置类型，则在调用函数时不必显式编写类型，例如：

但是，如果我有一个具有两种不同类型名称的函数模板，例如：

我总是必须指定至少 1 个类型名，这是真的吗？我认为原因是因为 C++ 无法区分不同返回类型之间的函数。

但是，如果我使用 void 函数并移交一个引用，我再次不能明确指定返回类型名：

结论是否应该避免使用返回函数，而更喜欢void在编写模板时通过引用返回的函数？还是有可能避免显式编写返回类型？类似于模板的“类型推断”。在 C++0x 中是否可以进行“类型推断”？

给定以下接口/类：

如果我尝试编写如下内容，为什么编译器不能推断出正确的类型：

我只是收到“无法推断类型参数”消息。这通常是泛型类型推断的限制，还是有办法使它工作？