2回答
为此，我实现了一个签名 type tendmodule Int_vector = Make_vector( type t = int)
module Str_vector我还没有使用过很多OCaml，所以这可能不是正确的方式。关于
浏览 0提问于2017-02-22得票数 3
许多语言允许显式地给出泛型函数的类型参数。例如，如果我们在Java或TypeScript中有一个具有以下签名的函数：…而一个类型的MyType，我们可以编写f<MyType>()来调用f，并将类型参数T显式地给出为MyTypeOCaml有这个特性吗？
如果答案是否定的--这是因为OCaml的类型推断太强了，以至于
浏览 31提问于2022-04-11得票数 0
回答已采纳
2回答
很奇怪，这段ocaml代码片段是由toplevel很好地键入的。看看结构，如果g的类型是int->int，如toplevel所示，结构的h x = g x部分将不能获得类型统一。: sig val g: string-> string let g x = xend
这是顶层的响应
浏览 4提问于2012-06-20得票数 6
回答已采纳
1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。例如，参见Shine 最近的伟大回答。
浏览 0提问于2016-06-13得票数 16
回答已采纳
3回答
我在理解不同类型的多态性时遇到了问题，特别是关于OCaml。我知道多态性允许在OCaml中使用多种类型，表示为'a‘，但我不理解不同类型的多态性是什么。如果有人能用相对低级的语言给我一个解释，那就太棒了！即席、参数、包含/子类型
浏览 7提问于2015-10-20得票数 4
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的类型，因为它的类型签名
浏览 2提问于2017-08-09得票数 4
回答已采纳
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 -> &#
浏览 0提问于2018-02-27得票数 0
回答已采纳
1回答
在Ocaml中有一个具有多种类型的参数可以吗？我定义了两种不同的类型，这两种类型都有一个address字段： { name : string;
type现在，我想将函数的代码重用到extern_symbol列表中。该函数将对另一个列表执行完全相同的操作。有没有办法做到这一点，而不必编写重复的代码？
浏览 0提问于2020-07-20得票数 1
回答已采纳
2回答
据我所知，本文讨论了OCaml目前的模块类型/签名系统的起源。作者建议对签名中的类型声明(允许单独编译)和显式类型声明(表示性)进行不透明的解释。试图将我自己的一些例子放在一起来演示OCaml模块签名符号试图解决的问题，我在两个文件中编写了以下代码：modul
浏览 1提问于2012-03-23得票数 8
回答已采纳
我最近发现了Haskell的名为“模块签名”的特性。据我所知，它们被放在.hsig文件中，并以signature关键字开头，而不是module。这样文件的示例语法可能如下所示empty :: Str然而，我无法想象人们将如何以及为什么要使用它们它们强烈地让我想起了在OCaml ()中看到的模块系统，它也有模块签名和单独的实
浏览 0提问于2019-03-09得票数 5
1回答
我正在为具有两种可能的内部格式的矩阵类型编写一个接口。这是一个简化的版本：type csr (* compressed-sparse-row format *)(fmt : s fmt = CSC) () = { sparsetype = fmt }
这不起作用，因为默认值CSC不是s fmt类型。这个想法似乎行不通，因为不可能在签名中为类型变量指定默认值，
浏览 24提问于2018-04-04得票数 1
回答已采纳
1回答
end: BASE) 更进一步，是否可以更改DERIVED类型的名称:例如，将其命名为'a derived而不是'a base
浏览 3提问于2012-01-28得票数 2
回答已采纳
1回答
我目前正在查看这个文档，并试图识别pp_fvec的类型签名。基本上，我试图打印一个向量，但它总是告诉我，我没有正确的类型。我感兴趣使用的类型签名是：它执行一些操作，然后调用具有签名的pp_vec：
type ('el, 'elt) pp_vec = Format.formatter接下来的<
浏览 3提问于2015-04-07得票数 2
回答已采纳
F#允许对签名进行".NET“和"OCaml”格式化。当您养成使用一种样式的习惯，然后发现无法正确格式化所需的签名时，这可能会令人困惑。考虑下面的代码，它需要一个灵活的类型作为foo的函数输入的输出： (fun () -> Vector.ofSeq (barn))
let foobar n = Arra
浏览 0提问于2012-06-09得票数 3
回答已采纳
1回答
我正在使用编写计算器，它能够在运行时计算OCaml表达式。 val f : unit -> float Ocaml_dynloader.Univ_constr.create ()
我可以使用签名unit -> float加载函数，例如，并
浏览 8提问于2017-08-08得票数 1
回答已采纳
1回答
在print_int中有一系列的函数，比如print_endline和Printf。我不能做这样的事print n;; (* And I haven't to change `print` in case type of `n` changed *)
这是多态打印相反，我们有由程序员显式定义的类C类型。所以我认为OCaml在编译过程中丢失了类型信息，并且在运行时没有这些信息，对吗？这也是我们需要mli文件的原因吗？
浏览 0提问于2011-09-16得票数 12
回答已采纳
理想情况下，除了OCaml之外，该库还支持多种语言，但对OCaml的良好支持是主要要求。
浏览 1提问于2012-02-27得票数 7
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
