我已经为一些C代码编写了一些OCaml绑定；它们似乎工作得很好，除了在解释器中，类型构造函数对OCaml似乎是不透明的。>val k : Foo.tza = <abstr> 我正试着去掉<unknown constructor>，用有意义的打印取而代之。显然，构造函数是用字符串调用
浏览 32提问于2021-11-16得票数 3
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的<e
浏览 20提问于2020-01-21得票数 5
回答已采纳
2回答
在Ocaml中，我在两个类型定义中使用了相同的类型构造函数名称。像这样： type a= | The_constructor of ... | ...当我将它用作(fun x-> The_constructor(x))时，the_constructor被直接赋值为'b‘(大概是因为
浏览 18提问于2020-10-02得票数 0
回答已采纳
1回答
我来自Javascript背景&我试图了解我需要如何构造/构建一个使用Reason/Ocaml的模块系统的程序。作为一项练习，假设我想用OCaml/R伊编写这段javascript (将通过js_of_ocaml将其编译回js )
var TeaType = new GraphQLObjectType({我是否应该使用另一个模块来通过GraphQLObjectType在js中通过js_of_ocaml生成一个js_
浏览 5提问于2016-05-31得票数 1
回答已采纳
2回答
我想编写一个模块(在Ocaml 3.12中)，它能够将变体类型定义为现有不同类型的聚合看起来可能是这样的：当然，我想要分解它的创建。首先，我尝试创建一个由函子参数化的模块‘组合’：
module Composite ( T0 : sig type t
浏览 2提问于2012-04-28得票数 1
回答已采纳
我需要一个OCaml中的函数，该函数将采用一种('a list * b' list) list类型，并对其进行构造。
'a list * b' list。我尝试过内置函数List.flatten和List.concat，但它们不能工作，它们需要一种'c list list类型。有人能帮我吗？
浏览 4提问于2016-01-20得票数 1
回答已采纳
public A(){ size = 0;}class A<E>{ private final int size; /&#
浏览 2提问于2014-11-11得票数 2
回答已采纳
2回答
在ocaml中，假设我们有：let x = [A 5; B "y"]ArrayList<Object> x = new ArrayList<Object>();x.add("y");
在数组列表迭代中在内部，ocaml是否将运行时<em
浏览 1提问于2013-01-31得票数 3
回答已采纳
2回答
键入'a tree =空的'a * 'a tree *‘树的空\ Node；
在Node of中，Node是内置的OCaml类型吗？
浏览 3提问于2017-09-03得票数 2
回答已采纳
在泛型类中，方法有一个带有未知泛型类型参数的返回类型，而不是T。其原因在javadoc中得到了解释。注意，虽然此方法返回一个Constructor<T>对象数组(即该类中的构造函数数组)，但该方法的返回类型是Constructor<?>[]，而不是预期的Constructor<T&
浏览 3提问于2014-07-01得票数 12
回答已采纳
1回答
在OCaml中，假设给出了一个类型：是否有特定于OCaml的内置(给定'a myTypeA myTypeB类型的值x )来获得'a myTypeA类型的值y(基本上取消构造该类型并移除myTypeB)？我在找一个有签名的函数：
val deconstruct : 'a myType
浏览 0提问于2018-02-27得票数 0
回答已采纳
学习OCaml，并想知道为什么编译器认为我为一个参数类型的构造函数提供了零参数。这个OCaml： s |> Json.to_string |> Ticker |> Result.OkThe constructor Ticker expe
浏览 5提问于2021-08-17得票数 1
回答已采纳
1回答
我对"SelectAll“的方法有些麻烦。我可以将我的对象查询成一个游标，只有它的类。我要这么做： Field[] fields = foo.getFields(); Constructor<?> constructor = foo.getConstructor(foo);
浏览 3提问于2015-11-06得票数 1
回答已采纳
3回答
我关心的是一个默认构造函数和它的初始化列表。在一个简单的例子中，这是很清楚的，比如：{ double d1; A (double x = 0.0): d1(x){} /
浏览 3提问于2012-12-07得票数 1
回答已采纳
1回答
我想得到TypeScript class构造函数的类型。在我的简单尝试中，它总是泛型的Function，而不是像我预期的那样具有参数的实际构造函数。Just generic Function not the actual constructor
type instanceConstructor = BufferedController["constructor</
浏览 4提问于2022-05-03得票数 2
回答已采纳
1回答
Coq中的类型封装
、、、
是否有一种方法可以在Coq模块中定义类型，但封装构造函数？
我希望模块的客户端能够使用该类型，而不是构造该类型的成员，类似于使用抽象类型在OCaml中所做的工作。
浏览 3提问于2015-05-12得票数 3
回答已采纳
3回答
我想通过调用这个方法来获得一个序列化的对象：如果指定的文件(arraylist.ser)不存在，或者与我传入的类不匹配，我希望返回该类的一个新实例。> c, String filename) {
Object serObject = n
浏览 0提问于2013-05-17得票数 1
回答已采纳
1回答
我试图构建我的角度应用程序，但由于这个错误，它失败了。ERROR in : Can't resolve all parameters for SimpleLookupAddEditFormComponent saveButtonText: string;
isPopupVisible:boolea
浏览 0提问于2018-07-11得票数 4
回答已采纳
我希望能够编写一个函数，检查是否使用相同的head构造函数构建了两个值。这一职能：
data E = A Int | B String | C
sameCons
浏览 7提问于2017-05-12得票数 5
回答已采纳
云服务器
ICP备案
云直播
实时音视频
即时通信 IM
腾讯云开发者
