1回答
当在Ocamel中看到模块的文档时，例如在Graphics模块中有类似的东西或者在以交互模式编写函数时：val x : unit -> int = <fun>
浏览 2提问于2020-03-03得票数 5
回答已采纳
2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。(虽然我可以制作只提供签名的type模块。)
如果是，为什么？OCaml的类型系统似乎与Haskell并没有那么大的不同。
浏览 2提问于2011-05-14得票数 38
回答已采纳
1回答
当我将以下Coq数据类型提取到OCaml时：Inductive Bar (f:Foo) := | C | D.Extraction Language Ocaml.type foo =| B
| C“bar”类型不同于Coq的类型，因为它的类型签名中包含“f”。定义这些<e
浏览 2提问于2017-08-09得票数 4
回答已采纳
2回答
据我所知，本文讨论了OCaml目前的模块类型/签名系统的起源。作者建议对签名中的类型声明(允许单独编译)和显式类型声明(表示性)进行不透明的解释。试图将我自己的一些例子放在一起来演示OCaml模块签名符号试图解决的问题，我在两个文件中编写了以下代码：module type我承认，我不确定在module A : B中遇到的语法：，但它让我怀疑是否存在这样或类似的语法(
浏览 1提问于2012-03-23得票数 8
回答已采纳
2回答
OCaml解析器
、、、、
有人能推荐我一个开源的全OCaml解析器吗？
本质上，我想为OCaml实现自己的类型检查器。理想情况下，解析器是用OCaml编写的。我会用它来获取输入程序的AST。(对于预先填充标准库函数签名的初始类型化环境，可能要求太多了)
浏览 0提问于2015-03-02得票数 0
回答已采纳
1回答
在OCaml中，假设给出了一个类型：是否有特定于OCaml的内置(给定'a myTypeA myTypeB类型的值x )来获得'a myTypeA类型的值y(基本上取消构造该类型并移除myTypeB)？我在找一个有签名的函数：
val deconstruct : 'a myTypeA myTypeB -> 'a myTypeA
浏览 0提问于2018-02-27得票数 0
回答已采纳
F#允许对签名进行".NET“和"OCaml”格式化。当您养成使用一种样式的习惯，然后发现无法正确格式化所需的签名时，这可能会令人困惑。考虑下面的代码，它需要一个灵活的类型作为foo的函数输入的输出： (fun () -> Vector.ofSeq (barn))
我不知道<e
浏览 0提问于2012-06-09得票数 3
回答已采纳
2回答
我目前正在试验同时使用OCaml和GTK (使用绑定)。然而，文档并不是最好的，虽然我可以计算出如何使用大多数功能，但我仍然坚持更改笔记本页(切换到另一个选项卡)。此外，此函数具有与我以前见过的任何类型签名不同的类型签名。val switch_page : ([> `notebook ], Gpointer.boxed option -&
浏览 3提问于2010-07-13得票数 4
回答已采纳
1回答
我正在使用编写计算器，它能够在运行时计算OCaml表达式。 val f : unit -> float Ocaml_dynloader.Univ_constr.create ()
我可以使用签名unit -> float加载函数，例如，但是，它只支持flo
浏览 8提问于2017-08-08得票数 1
回答已采纳
2回答
我正在尝试用OCaml编写一个简单的塔防御游戏，作为一个学习项目，但我在如何构建代码方面遇到了问题。我一直试图避免使用类/对象来表示我的塔和敌人，主要是因为我还没有学习OCaml对象是如何工作的，但更主要的是因为我在阅读关于ocaml的文章时似乎对使用它们产生了反感。无论如何，我一直在尝试为每种类型的塔都有一个模块，这些模块都有相同的签名(TOWER)，实现主循环用来更新游戏的功能。create : unit -> t
浏览 1提问于2016-03-09得票数 1
OCaml能识别要使用的底层算法吗？比较运算符与算术运算符有何不同？其他FP语言也是这样吗？
浏览 5提问于2015-10-29得票数 8
回答已采纳
许多语言允许显式地给出泛型函数的类型参数。例如，如果我们在Java或TypeScript中有一个具有以下签名的函数：…而一个类型的MyType，我们可以编写f<MyType>()来调用f，并将类型参数T显式地给出为MyTypeOCaml有这个特性吗？
如果答案是否定的--这是因为OCaml的类型推断太强了，以至于永远不会出现类型应用程序有用的情况吗？
浏览 31提问于2022-04-11得票数 0
回答已采纳
2回答
我目前正在学习OCaml，我很好奇OCaml是如何进行类型推断的。我知道这是通过一个叫做统一的过程来完成的，我试着在发表的论文中阅读关于算法的内容，但这个符号让我大吃一惊。
浏览 0提问于2012-10-04得票数 11
回答已采纳
4回答
我一直在阅读F#文章，它们使用单例变体来创建截然不同的不兼容类型。然而，在Ocaml中，我可以使用私有模块类型或抽象类型来创建不同的类型。在Ocaml中使用像F#或Haskell这样的单大小写变体是很常见的吗？
浏览 27提问于2021-04-26得票数 2
回答已采纳
1回答
在Haskell和Scala中有很多关于依赖类型的信息。对于OCaml来说，没那么多。是否有人有足够的技能在OCaml中提供如何实现这一目标的编码示例(如果有可能的话)？当然有(被抛弃的) ，但似乎不可能将这些东西合并到“常规”OCaml代码中。顺便提一下，值得一提的是OCaml 分支，它可以满足依赖类型系统的某些需求。contract f = {x : x > 0}
浏览 2提问于2013-03-28得票数 14
回答已采纳
1回答
不确定我的问题是签名、内容还是返回值。myType option = match t2 with | _ -> t
错误:此模式匹配a选项类型的值，但需要匹配'b -> 'c -> 'd类型值的模式。不知道我的语法有什么问题，或者我在哪里误解了OCaml。
浏览 6提问于2016-12-31得票数 0
回答已采纳
2回答
很奇怪，这段ocaml代码片段是由toplevel很好地键入的。看看结构，如果g的类型是int->int，如toplevel所示，结构的h x = g x部分将不能获得类型统一。
浏览 4提问于2012-06-20得票数 6
回答已采纳
2回答
OCaml不能在签名中展开中间参数化类型有什么原因吗？我猜这与内存表示有时可能不同有关，但我想知道在向OCaml错误跟踪器提交错误报告之前是否有更深层次的原因……
浏览 1提问于2012-05-08得票数 3
回答已采纳
由于数据/ monad模块的do表示法在结构上运行，我如何定义作为函数的monad类型，例如解析器？我已经习惯了OCaml，我的monad大概有以下签名： type state = string * int val bind: 'a t -> ('a -&g
浏览 0提问于2018-09-13得票数 2
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
