'_weak1, '_weak2) Avltree.t array end,
contains type variables that cannot be generalized 如何让Ocaml我尝试了几种不同的方法--都没有奏效。
浏览 27提问于2019-05-03得票数 0
我从C++模板、Java泛型和C#泛型之间学到了区别，这有助于我更好地理解如何以不同的方式正确地使用它们。为了帮助我学习在OCaml中使用泛型，哪种语言的泛型是OCaml中类似于C++、Java或C#的
浏览 3提问于2017-09-20得票数 3
回答已采纳
假设我有这样一个类型： { }结构用于声明结构类型也用于泛型参数约束。用于模块定义中的OCaml兼容性.
浏览 2提问于2021-12-30得票数 1
回答已采纳
1回答
如果我有以下OCaml函数：它在Utop中运行良好，Merlin没有将其标记为编译错误。然而，当我试图编译它时，我会得到以下错误：l
浏览 3提问于2014-09-10得票数 22
回答已采纳
1回答
OCaml动态函数名
、、、
我有一张标签清单：我能否生成一个模块，其中包含以这些标记作为名称的函数？/*不介意语法，这是Facebook的原因(与ocaml的新接口) */ let div props children => Js.Unsafe.fun_callJs.Unsafe.get dom (Js.string &quo
浏览 0提问于2016-06-12得票数 0
回答已采纳
在大多数具有参数/泛型类型的语言中，有一个(type)表达式可以用来表示“某物的集合”。例如，爪哇的Set<Integer>。没有“泛型集”类型。相反，有一个Set模块，它包含一个名为Ma
浏览 20提问于2022-05-10得票数 2
回答已采纳
1回答
是否有允许静态和动态类型的语言？
、、、、
动态类型语言在快速原型方面似乎有优势，例如Python或Perl，而静态类型化语言(如C++、OCaml)则允许更多的编译时检查和优化。我想知道是否有一种语言允许两者兼而有之：
首先，具有动态类型的快速原型，泛型(即接受任何类型的)打印函数，以便于调试和REPL，并适应不断变化的设计选择。然后，更改一些内容并将代码编译到一个库中，使用静态类型进行更多的安全测试
浏览 3提问于2012-11-15得票数 9
回答已采纳
考虑以下(伪)OCaml代码： begin foo b ...foo z(a-z是元变量，没有具体说明)
我读过皮尔斯，TAPL，Ch。22.7在ML风格的多态性中，类型检查可以通过计算"foo“的主要类型，泛化(从而引入ML风格的多态性)，并在主体中每次出现"foo”时检查该<e
浏览 1提问于2011-04-03得票数 2
回答已采纳
2回答
我在试着自己去理解，OCaml语言有哪种形式的多态。我得到了一个例子这个示例不是等同于C++模板函数吗如果是这样，那么我的问题是: OCaml中是否还有其他形式的多态性？在命令式语言的世界中，这个概念被称为“通用算法”，而不是“多态性”。
浏览 0提问于2013-01-21得票数 3
回答已采纳
我看着这个错误，不能理解它：
Error: This expression has type ('a -> float polynomial) list but an expression was expected
浏览 1提问于2010-11-22得票数 13
回答已采纳
2回答
递归鉴别合并案例类型
、、、、
如何创建OCaml/F# DU类型，其中其案例是其他案例的子集？ | FunctionSymbol of id:string * pa
浏览 3提问于2017-06-21得票数 6
回答已采纳
所有这些都是从一个简单的想法开始的:如何用ocaml编写python样式的格式化字符串。xlet str = "this: %s" % "sth"
但是简单的函数不能作为两个或多个变量来处理更复杂的情况。，因为类型错误和ocaml的列表不能包含多个类型。但我只是不
浏览 1提问于2009-11-02得票数 2
回答已采纳
4回答
函数器和“泛型”有什么区别？
、、、、
在我看来，它与C++/C#/Java.中的所谓泛型对象非常相似如果您现在忽略Java的类型擦除，并且忽略C++模板的实现细节(我对语言特性感兴趣)，函数器对于泛型来说是非常复杂的。如果我理解正确的话，functor为您提供了一组来自您提供的类型的新函数，例如但是
浏览 0提问于2009-09-25得票数 16
回答已采纳
3回答
我正在写我的第一个ppx扩展。其思想是支持多态print函数，类似于Haskell中的show。
(我知道还有其他更健壮的解决方案，但我希望了解更多关于这一点的知识。)我所采用的方法非常类似于描述的方法:我有一个映射器，它查找%[print <expr>]标记，然后用<expr>的字符串表示来替换它们。它应该用最后类型的打印机包装它们。例如，对于type test = A of int | B of strin
浏览 9提问于2015-08-24得票数 3
回答已采纳
1回答
我正在阅读这张幻灯片，我在这里发现了一个有趣的问题：oops函数似乎会产生编译错误：我不知道原因，所以我很快就在我的Mac上使用OCaml版本4.01.0对这个函数进行了一些测试，令我惊讶的是，在解释这个代码时，没有看到任何错误。我不知道为什么幻灯片声称它是一个错误，因为赛跑，我不能重新创建这个错误.
有人能帮我一下吗？
浏览 6提问于2014-04-20得票数 2
回答已采纳
1回答
我正在编码，但由于值的限制，我遇到了困难。set this b))end
这里，我将透镜表示为高阶类型，CPS转换函数('a -> 'b) -> ('s -> 't)的转换器(正如和讨论的所建议的)。函数lens、fst和build都具有完全广义的类型，但它们的
浏览 6提问于2015-03-21得票数 172
1回答
抽象语法树中的类型信息
、、、
抽象语法树中存在什么类型的信息？AST如何用于类型推断？当所有节点都没有指示具体类型时，我不明白如何获得给定AST的类型输入和输出。是否仅从树结构推断类型？例如，javalang模块使用以下AST节点：Import(Node)Declaration(Node) (MethodInvocation
浏览 4提问于2017-03-06得票数 1
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
