2回答
理解函数类型签名
、、、、
在OCaml中，我很难理解高阶函数的函数类型签名。fun f -> f 3我处理这个问题的方式是，f 3部件以一个int作为输入，并返回由函数f定义的类型，该函数被表示为a。所以说，fun f是一种(int->a)类型。但是，最后一个a来自(int -> a) -> a哪里？
浏览 1提问于2019-03-12得票数 0
2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。(虽然我可以制作只提供签名的type模块。)
如果是，为什么？OCaml的类型系统似乎与Has
浏览 2提问于2011-05-14得票数 38
回答已采纳
F#允许对签名进行".NET“和"OCaml”格式化。当您养成使用一种样式的习惯，然后发现无法正确格式化所需的签名时，这可能会令人困惑。考虑下面的代码，它需要一个灵活的类型作为foo的函数输入的输出： (fun () -> Vector.ofSeq (barn))
l
浏览 0提问于2012-06-09得票数 3
回答已采纳
我想知道是否有可能在OCaml中构建类似于多个分派的内容。为此，我尝试为multimethod的输入签名创建一个显式类型。作为一个例子，我定义了一个数字类型| I : int -> int num现在，我希望函数add可以将'a num和'b例如，到目前为止，我只能管理一个签名type a b. a num
浏览 4提问于2016-12-18得票数 10
回答已采纳
1回答
在OCaml中，假设给出了一个类型：是否有特定于OCaml的内置(给定'a myTypeA myTypeB类型的值x )来获得'a myTypeA类型的值y(基本上取消构造该类型并移除myTypeB)？我在找一个有签名的函数：
val deconstruct : 'a myType
浏览 0提问于2018-02-27得票数 0
回答已采纳
在OCaml中，泛型映射上是否存在多态函数？即：您还可以使用类似于：f : ('k,'v) map -> bool作为bool f<K,V> (Map<K,V> x)的等价物吗？如果是这样的话，类型签名的正确语法是什么，以及如何实现这样<em
浏览 0提问于2013-01-31得票数 3
回答已采纳
2回答
OCaml解析器
、、、、
有人能推荐我一个开源的全OCaml解析器吗？
本质上，我想为OCaml实现自己的类型检查器。理想情况下，解析器是用OCaml编写的。我会用它来获取输入程序的AST。(对于预先填充标准库函数签名的初始类型化环境，可能要求太多了)
浏览 0提问于2015-03-02得票数 0
回答已采纳
4回答
我正在试验OCaml (3.12.1)的模块语言，为模块定义函数器和签名等等，主要遵循的例子，我偶然发现我对函数器和模块签名如何工作的心理模型存在缺陷。因此，我们有一个函数，它简单地提供一个标识函数'f‘，并由提供该函数的输入参数类型的模块参数化。就像我说的完全是做作的例子。：
#IdentityIn
浏览 0提问于2012-03-20得票数 13
回答已采纳
许多语言允许显式地给出泛型函数的类型参数。例如，如果我们在Java或TypeScript中有一个具有以下签名的函数：…而一个类型的MyType，我们可以编写f<MyType>()来调用f，并将类型参数T显式地给出为MyTypeOCaml有这个特性吗？
如果答案是否定的--这是因为OCaml的类型
浏览 31提问于2022-04-11得票数 0
回答已采纳
1回答
我正在使用编写计算器，它能够在运行时计算OCaml表达式。 val f : unit -> float Ocaml_dynloader.Univ_constr.create ()
我可以使用签名unit -> float加载函数<
浏览 8提问于2017-08-08得票数 1
回答已采纳
由于数据/ monad模块的do表示法在结构上运行，我如何定义作为函数的monad类型，例如解析器？我已经习惯了OCaml，我的monad大概有以下签名： type state = string * int va
浏览 0提问于2018-09-13得票数 2
回答已采纳
1回答
当我将以下Coq数据类型提取到OCaml时：Inductive Bar (f:Foo) := | C | D.Extraction Language Ocaml.type foo =| B
| C“bar”类型不同于Coq的类型，因为它的类型签名
浏览 2提问于2017-08-09得票数 4
回答已采纳
0回答
我正在尝试使用模块/函数器来进行更通用的代码设计。为了简单起见，我有两个接口：module type T2 = sig type t end;;
我想用一个基于T1.t的变体类型来实例化在变体中使用这种约束的正确方式是什么？
浏览 5提问于2017-12-14得票数 1
回答已采纳
我有一个定义了地图的文件context.ml和类型为CtxMap.key-> 'a CtxMap.t -> 'a的函数map_get
如何向context.mli文件添加CtxMap声明？我找不到这样做的方法，因为mli文件不能包含代码。
浏览 1提问于2011-02-03得票数 7
回答已采纳
1回答
我仍然在为模块的设计和实现而苦苦挣扎，我定义了以下内容：sig val init: 'a -> 'a tend
structend所以看起来编译器并没有意识到int AM
浏览 0提问于2012-01-31得票数 2
回答已采纳
1回答
接口中的子类型约束
、、、、
一个函数可能需要多个这样的“特征”作为输入，即：不幸的是，OCaml语法不允许这样做。这似乎是一个纯粹的句法限制，所以我想知道是否有更深的原因？
换句话说:为什么我不能在OCaml类型签名中直接编写
浏览 1提问于2014-06-30得票数 1
回答已采纳
我在做真实世界的Ocaml，用Ocaml 4.06，emacs/merlin。请参阅下面的代码片段。'b, 'c) Base__Map.tQ1)是否改变了Map.of_alist_exn的功能类型我认为函数类型已经改变了。，但是ocaml认为它是无效的。Q2)我应该给它什么作为
浏览 0提问于2018-02-13得票数 1
回答已采纳
2回答
我正在使用OCaml类型检查器，并对来自另一个项目的文件进行测试。然而，这些文件依赖于由以前的编译器版本编译的cmi和cmo文件。因此，我无法在编译器中完全键入-检查这些文件，因为它似乎无法识别那些cmo和cmi文件。有办法绕过这件事吗？
请注意，我不能切换到旧的编译器版本，而且我没有那些cmo和cmi文件的源代码。我想查看OCaml文件，推断函数签名，并使用相同的签名创建新<em
浏览 2提问于2013-12-09得票数 0
回答已采纳
2回答
我开始学习函数式编程(，OCaml)，但我不理解关于fp的一个重要主题:签名(我不确定它是否是一个合适的名称)。当我键入某些内容并使用ocaml进行编译时，例如：val inc : int -> int = <fun>leta b)val something : (’a -> ’b -> ’c) -> (’a -> ’d -
浏览 0提问于2010-11-17得票数 9
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
