1回答
我正在用OCaml编写一个Lisp解释器。这描述了我的类型系统： type atom = Bool of bool | Float of floatSymbol of string
| Atom of atom
| Pair of sexpr * sexpr 我想在这里包含函数作为第一类的值为此，我计划了一个可以添加到我的atom类型中的定义，如下所
浏览 12提问于2020-11-25得票数 0
1回答
我已经定义了一个用户定义的表类型-称之为TrackRefsTable 声明了两个变量后，将@FOO1声明为TrackRefsTable，将@FOO2声明为TrackRefsTable 有没有办法把一个设置成另一个呢显而易见的 设置@FOO2 = @FOO1 不起作用，因为这个赋值方法似乎只对标量变量起作用，因此你会得到错误，必须声明标量变量"@FOO1“ 我希望能够避免使用INSERT语句将</em
浏览 23提问于2019-06-25得票数 0
xquery版本"1.0"； return concat($s1, $s2 ) };
将变量$str1声明为xs:string:="samah"；将变量$str2声明为xs:string:="sama"；声明变量$comstring:
浏览 2提问于2010-02-08得票数 0
2回答
我正在使用big_int类型。我查看了OCaml的库Pervasives。例如:在Int32中Printf.printf "%ld" t
如何定义t以及如果要将其声明为big_int，应定义哪个%?d
浏览 0提问于2012-05-09得票数 2
回答已采纳
4回答
可能重复：
我已经将SET1声明为静态String[]，并且我希望将SET2声明为SET1 +很少其他参数。是否可以声明SET2静态类似(即私有静态String[])与SET1，但使用上述定义，如果不是如何做到这一点？
浏览 1提问于2010-09-20得票数 3
回答已采纳
let log x = print_int x; log ;;
我期望log打印111并返回自身，然后在第二个调用中打印222，但是它不能像预期的那样工作，而是得到一个错误消息。为什么？如何使它像预期的那样工作？File "./hello.ml", line 3, characters 8-11: ^^^
浏览 2提问于2022-10-18得票数 3
1回答
我正在尝试使用LLVM和OCaml实现具有用户定义类型的静态类型语言，但我不知道如何将新类型定义添加到LLVM模块中。 我查阅了OCaml文档，但没有找到任何用于此目的的函数。我试过LLVM: Defining a new type via OCaml bindings的回答，但不起作用。
浏览 15提问于2021-04-02得票数 2
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的类型错误，它提到了一个类型变量'b，该变量没有出
浏览 20提问于2020-01-21得票数 5
回答已采纳
4回答
我正在试验OCaml (3.12.1)的模块语言，为模块定义函数器和签名等等，主要遵循的例子，我偶然发现我对函数器和模块签名如何工作的心理模型存在缺陷。因此，我们有一个函数，它简单地提供一个标识函数'f‘，并由提供该函数的输入参数类型的模块参数化。就像我说的完全是做作的例子。：- : int = 13
函数器的心智模型是将模块作为输入并返回模块的
浏览 0提问于2012-03-20得票数 13
回答已采纳
显然，从定义部分来看，这是不可能的，因为x的唯一可能类型是int。
这个例子很有趣，因为它展示了OCaml静态类型推理系统背后的逻辑和魔力。类型通常从函数定义中自然地显示出来，也就是说，您更关心函数的功能，而不是首先给出一个类型。对我来说，在定义函数时真正使用'a.是非常有意义的，就好像函数的定义可以处理所有类型一样，它的类型<
浏览 0提问于2014-04-27得票数 31
回答已采纳
我想知道是否有可能为OCaml记录创建一个最终的方法？我正在创建一个GPU数据库，我使用OCaml构建DSL来查询和操作GPU数据，我需要一种方法来释放GPU内存，当它们符合GC条件(不再引用)。
浏览 0提问于2014-02-11得票数 3
回答已采纳
1回答
从Coq中提取的Ocaml代码包括(在某些情况下)定义如下的类型__和函数__：let __ = let rec f _ = Obj.repr f in Obj.reprf
文档说，在过去，这种类型被定义为unit (因此__可以被视为())，但是存在(很少)将__类型的值应用于__类型的值的情况。__使用了OCaml中未记录的Obj模块函数，但似乎定义</
浏览 1提问于2013-04-05得票数 6
我对将实例声明为特定类型的目的感到有点困惑。例如,Object intOb2 = new Integer(4);如你所见，我被搞糊涂了。
浏览 0提问于2012-04-13得票数 2
回答已采纳
1回答
我想定义一个类foo和一个异常X，它的构造函数使用一对foo作为参数。类foo的方法应该能够引发异常X。我无法找到正确的语法。有人能建议一下怎么做吗？
浏览 1提问于2015-10-24得票数 0
回答已采纳
1回答
string
| 0 -> (Foo 0 : [`a] t)end
正如您可能注意到的，抽象类型'a t在其类型参数'a中声明为协变量，而make构造函数被声明为返回多态变体案例a或b的子类型。在我的make实现中，返回子类型[a] t仍然应该遵循协方差规则，因为子类型位于返回
浏览 2提问于2018-01-13得票数 7
回答已采纳
在OCaml中，我可以定义以下类型： | Branch of (int * (collection -> collection))假设我根据每个构造函数的int值定义比较函数，如何将collection转换为Set而不是list
浏览 3提问于2016-03-14得票数 2
回答已采纳
2回答
我试图协调引用透明性的定义与OCaml处理多态类型和副作用的方式。我在上读到
如果定义的含义不取决于其所处的上下文，则称其具有参考透明度。OCaml中的函数具有引用透明性，也就是说，更改上下文(其他变量和其他函数)不会改变您已经定义的任何函数的含义。在调试程序时，这一事实可能是至关重要的，因为您很可能经常重新定义函数。但就我所理解的情况而言，这在OCaml中是不可能的，因为在返回
浏览 1提问于2011-05-22得票数 3
回答已采纳
我有一个包含4个构造函数的类和一个如下所示的函数：public: cout << "ABC(void ff(ABC t) { }1)为什么我得到警告C4930："'ABC a1(ABC (__cdecl *)(void))'：原型函数没有被调用(变量定义是有意的吗？)我得到错误C2660：&quo
浏览 0提问于2017-08-04得票数 2
对于没有参数的变体，它们只是存储为一个OCaml整数，没有装箱，整数在一个类型的中按升序排列。例如，让我们定义一个函数peek来查看变量的实际整数值：我定义了一个类型：然后peek Apple;;将返回0，peek Orange;;将返回1。然后，我有以下问题：
既然OCaml在运行时
浏览 3提问于2014-06-11得票数 0
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
