最近，Facebook发布了Flow，它是JavaScript的静态类型检查器，主要在OCaml ()中实现。
Hacklang (带有静态类型检查器的PHP)也主要用OCaml编写。所以，我想知道OCaml对于静态类型检查器有什么独特的好处？
浏览 5提问于2014-11-19得票数 35
回答已采纳
1回答
我想知道是否有可能在JVM中关闭运行时类型检查。我正在做一个从OCaml编译到Java字节码的项目。
我希望展示在编译时进行所有类型检查(通过OCaml类型检查器)是否可以提高性能。
浏览 0提问于2017-11-06得票数 0
2回答
OCaml的类型系统是静态的吗？
、、、、
在各种来源中都提到，OCaml有一个静态的强类型系统，而且它也是一种解释语言。一些地方还提到，OCaml有一个字节码编译器和一个VM。那么OCaml是如何计算何时作为一种解释语言的行为以及何时作为一种编译语言的行为呢？
浏览 2提问于2014-04-06得票数 1
回答已采纳
2回答
OCaml解析器
、、、、
有人能推荐我一个开源的全OCaml解析器吗？
本质上，我想为OCaml实现自己的类型检查器。理想情况下，解析器是用OCaml编写的。我会用它来获取输入程序的AST。(对于预先填充标准库函数签名的初始类型化环境，可能要求太多了)
浏览 0提问于2015-03-02得票数 0
回答已采纳
s 0;;
# (ora_magic_copy 2 : float) +. 3.1;;
检查ocaml 2(本书编写时的当前版本)和ocaml 3.12.1之间是否有什么变化，安装在我的机器上的toplevel和js_of_ocaml使用的ocaml 3.12.1，我在安装在我的机器上的普通toplevel中尝试了相同的示例，并得到了书中解释的结果:由于<e
浏览 5提问于2012-09-10得票数 7
回答已采纳
1回答
我正在尝试用OCaml编写一个OCaml求值器。基本上我需要模仿OCaml的类型检查器。我有下面的代码，它应该返回一个类型，但是编译器报告类型不匹配。etype))) 在左边的文件夹中，我给出了基数为(typecheck exp tenv)，它应该是motype (我的类型类型错误是fold left函数(typecheck ce (matchtype
浏览 0提问于2013-05-02得票数 0
回答已采纳
2回答
在ocaml中，假设我们有：let x = [A 5; B "y"]if (element instanceof
浏览 1提问于2013-01-31得票数 3
回答已采纳
1回答
在Haskell和Scala中有很多关于依赖类型的信息。对于OCaml来说，没那么多。是否有人有足够的技能在OCaml中提供如何实现这一目标的编码示例(如果有可能的话)？当然有(被抛弃的) ，但似乎不可能将这些东西合并到“常规”OCaml代码中。顺便提一下，值得一提的是OCaml 分支，它可以满足依赖类型系统的某些需求。intlet dumm
浏览 2提问于2013-03-28得票数 14
回答已采纳
3回答
在研究F#和OCaml之间的差异时，我发现他们倾向于关注和 。然后我发现了，它将类型和类型推断列为不同的特征。由于特写文章说OCaml和F#都使用类型推断，我认为这是一个标准算法，即一个不允许变化的算法，这两个特徵是如何联系的？是否达马斯-米尔纳是构建两个类型推理系统的基础，但它们各自都基于类型来修改达马斯-米尔纳？
我还检查了F#源代码中的单词Damas，Milner和Hindley，但没有找到。搜索inference一词可以找到类型</em
浏览 0提问于2012-09-10得票数 8
回答已采纳
1回答
嵌入ocaml解释器
、、、
我有一种很小的语言，它基本上是OCaml的扩展(实际上它是OCaml子集的扩展，但这无关紧要)。为了简化事情，我有一个“转义”表达式，它将OCaml文本传输到我的语言中(因此您可以将任意OCaml代码嵌入到这种语言中)。将这样的表达式编译到OCaml只意味着打开字符串，但是如何计算它呢？当然，我理解OCaml是一种静态类型语言，以及该类型系统一般是如何工作的。因此，我还需要能够提供一个环境并检查表达式的推断类型(或者
浏览 1提问于2014-10-14得票数 2
回答已采纳
2回答
我正在使用OCaml类型检查器，并对来自另一个项目的文件进行测试。然而，这些文件依赖于由以前的编译器版本编译的cmi和cmo文件。因此，我无法在编译器中完全键入-检查这些文件，因为它似乎无法识别那些cmo和cmi文件。有办法绕过这件事吗？
请注意，我不能切换到旧的编译器版本，而且我没有那些cmo和cmi文件的源代码。我想查看OCaml文件，推断函数签名，并使用相同的签名创建新的cmi和cmo文件。这可能会奏效，因为我只对类型检查感兴趣。然而，我想也许有一个更好的方法。
浏览 2提问于2013-12-09得票数 0
回答已采纳
我将使用Zend类型zend_string来表示字符串。为此，我需要一个名为zend_string_ptr或其他类型的LLVM指针类型。如何使用OCaml LLVM绑定创建此指针类型？= 'asd';zend_string *a = zend_string_init("asd", 3, 1);要在OCaml中创建LLVM双重类型，您可以编写
le
浏览 3提问于2015-09-05得票数 1
回答已采纳
2回答
我想写一个OCaml库，它将被其他编程语言使用，比如C甚至python。这是可行的吗？我认为像Corba这样的东西不太适合ocaml ABI，但我可能错了。
编辑:通过放弃运行时需求，只使用具有llvm前端的语言，我想我可以使用llvm作为常见的ABI，但它似乎很棘手。
浏览 1提问于2012-10-26得票数 4
回答已采纳
2回答
我在试着自己去理解，OCaml语言有哪种形式的多态。我得到了一个例子这个示例不是等同于C++模板函数吗如果是这样，那么我的问题是: OCaml
浏览 0提问于2013-01-21得票数 3
回答已采纳
当我需要不同类型的数字文本(如0或1 )时，我使用_0和_1，但这个解决方案并不理想。是否可以使用Camlp4在给定的上下文中重新解释数字文字，或者添加具有专用后缀的新类型的数字文字？
浏览 2提问于2015-12-24得票数 1
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
