问题标签 [ocaml]

这似乎是某些类型的等价比较，但不是字符串。

这正如预期的那样。

为什么"odp" != "odp"评价为true？它实际上在做什么？它不应该产生类型错误吗？

你会推荐什么关于一般调试技术的读物？我对原则和最佳实践比对特定平台解决方案更感兴趣。作为记录，我主要使用 .NET（F#、C#），并涉足 Haskell 和 Ocaml。

其中一个周五晚上，我们在步行回家的路上与我的同事讨论了调试问题。得知可以从 VisualStudio 调试器查看和修改活动对象的状态，我感到很惊讶。他还提到，他认识的另一位开发人员“Java 大师”曾经向他展示了一些调试魔法，并给出了一篇关于调试的文章或小册子，这挑战了我同事最初的“没什么可做”的态度。花了比我希望的更多的时间来寻找虫子，我也准备好接受挑战了。有没有你会推荐的链接？

我正在使用 OCamlWinPlus v1.9RC4。它很烂。它经常崩溃，并且缺乏基本功能。可以为 Windows Vista 推荐哪些其他顶级 OCaml 程序？

如果我定义了以下类型：

回答“start = Noun类型转换列表中的记录在哪里？

有点像

除了语法似乎不起作用。

我有这个记录类型：

如果我想实例化一个只定义了核心的音节怎么办？我可以给它一个默认值吗？它是否默认为 [] 或类似的东西？

在 PHP 中，参数的默认值可以设置如下：

OCaml 中是否有类似的功能？

我可以指定一个列表，其成员必须是字符串或整数，而不是指定一个整数列表或字符串列表，而不是其他的？

如果我有一个对象，我如何确定它的类型？（是否有与 Javainstanceof运算符等效的 OCaml？）

我有一个用 ocamlyacc 和 ocamllex 编写的解析器和词法分析器。如果要解析的文件过早结束，例如我忘记了行尾的分号，则应用程序不会引发语法错误。我意识到这是因为我正在提高和捕捉 EOF 并且这使得词法分析器忽略未完成的规则​​，但是我应该如何这样做来引发语法错误？

这是我当前的解析器（简化），

和lexxer（简化），

示例输入文件，

一种解决方案是，在命令规则的末尾添加一个递归调用给自身，并添加一个空规则，所有这些都构建一个列表以返回主程序。我想我可能将 Eof 解释为期望和结束条件，而不是词法分析器中的错误，这是正确的吗？

这里我们有一个函数定义：

这是一个表达式：

可以g认为是不带参数的常量函数吗？有什么区别吗？