我正在编写一个存储已定义类型数组的类。我的代码的语法有问题-i think。我想在数组中获得一个已定义的类型，但我的代码总是出错。 我已经创建了一个类，写下我需要的数组。of A, 1))][|(Rook, Black, Alive of A,1)]
[|(Rook, Black, (A,1))
浏览 28提问于2019-05-29得票数 0
回答已采纳
我在做真实世界的Ocaml，用Ocaml 4.06，emacs/merlin。请参阅下面的代码片段。'b, 'c) Base__Map.tQ1)是否改变了Map.of_alist_exn的功能类型我认为函数类型已经改变了。，但是ocaml认为它是无效的。@一位苦苦挣扎的黑人b
浏览 0提问于2018-02-13得票数 1
回答已采纳
众所周知，OCaml拒绝定义像type t = t -> int这样的纯递归类型，Rosetta Code中的Y组合子示例也不起作用。然而，最近我发现像type t = A of (t -> int)这样的递归类型定义的小调整工作得很好。下面的代码是一些概念验证工作，用来检查哪个工作得好。(* OCaml version 4.08.0 *)
(* Precisely, ocaml
浏览 12提问于2020-05-03得票数 1
回答已采纳
1回答
假设有两个简单的OCaml接口： open Batteriesendmodule Foo : FOO = struct，OCaml并不统一。因此，这两种映射类型被认为是不相等的
浏览 2提问于2014-12-05得票数 1
2回答
在我的代码中，我有一个数据库访问上下文，它提供基本的读/写操作，称为CouchDB.ctx。然后，我的应用程序中的各个模块用额外的功能(如Async.ctx )扩展该类。我需要按照这样的思路定义一个函子： class ctx = objectend
modul
浏览 2提问于2012-05-14得票数 6
回答已采纳
1回答
如何更好地将lambda函数传递给用作父类的类:将其作为参数传递，还是在pasrent类中将其定义为抽象的lambda，然后在子类中覆盖它？要将其作为参数传递： ... ...或者在pasrent类</e
浏览 1提问于2018-03-29得票数 2
1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。例如，参见Shine 最近的伟大回答。
我的观点是，在Haskell中可以创建派生的几个类型类的类型。lastName :: Strin
浏览 0提问于2016-06-13得票数 16
回答已采纳
我读了一些关于Standard中的值限制的文章，并尝试将这个示例翻译到OCaml，看看它会做什么。看起来，OCaml在SML由于值限制而拒绝程序的上下文中生成这些类型。r2)- val r: 'a option ref = ref NONE;
stdIn:1.6-1.33 Error: explicitX1 option ref * [int
浏览 7提问于2016-07-05得票数 11
回答已采纳
我试图在OCaml中模拟一个接口，并使用“类型”结构。我有两种类型：type fooConBar = {a:string; b:int; bar:char};;let fsb = {a="a"; b=3};;
...but被告知未定义条形图字段。由此看来，与我在匹配fooSansBar签名时传递的
浏览 0提问于2009-03-21得票数 9
我有两个数据类 data class Card(val code: String?, val caption: String?, val icon: String?)data class Currency(val code: String?, val caption: String?, val descr: String?)它们被组织成列表：List<Card> and List<Currency>，我在调用one函数时将其用作<
浏览 184提问于2019-05-05得票数 1
回答已采纳
我试图描述一个具有许多不同类型的节点和边的复杂图，它只能根据一组规则相互连接。我希望在编译时使用语言的类型系统检查这些规则。在我的实际应用程序中，有许多不同的节点和边缘类型。因此，当我用定义边的源和目标描述元组时，我无法使用它们。"link_source“函数只能返回一种类型，而”节点“是可以返回某物的变体。我一直在尝试如何在O
浏览 4提问于2015-08-14得票数 11
回答已采纳
2回答
因此，我一步一步地学习OCaml，最近我在OCaml中遇到了“模块语言”这个伟大的世界。我的问题是： val addend : 'a -> list structlet addend (val,lol) = end
当我试图在解释器中使用这个时，它告诉我我有一个syntax err
浏览 1提问于2017-05-13得票数 1
回答已采纳
1回答
假设我有以下abstractProductA类，它有一个名为methodA的公共方法： pub methodA => "name";我想创建一个接口类似于 abstractProductA(): string只有在合理的情况下，才能让类实现它。任何建议都是非常欢迎的。谢谢
浏览 2提问于2017-09-19得票数 3
回答已采纳
我希望在OCaml中有这样的表达但是我得到了Unbound class obj的一个编译器错误，但是为什么编译器不满足于创建这个函数
浏览 5提问于2015-10-31得票数 1
回答已采纳
3回答
我试图找出如何根据参数类型的模块编写函数，但在任何地方都找不到类似的东西。我试图尽可能地减少这个问题，最后得到了这个虚拟的例子。module type Mappable = sig val map : ('a -> 'b) -> 'a t -> 'b t
let plus (type m)正确的语法是什么？
浏览 3提问于2016-02-03得票数 11
回答已采纳
OCaml能识别要使用的底层算法吗？比较运算符与算术运算符有何不同？其他FP语言也是这样吗？
浏览 5提问于2015-10-29得票数 8
回答已采纳
1回答
我有以下来自OCaml的错误，我不明白为什么。我正在尝试用OCaml定义一个解释器。我有一些类型和函数来评估这些类型。我粘贴了相关的代码。我有这些类型：| Ebool of bool| Prod of exp * exp| Record of ide * exp list;;
type
浏览 0提问于2015-10-31得票数 0
2回答
η-在纯函数语言中的扩展
、、、
在OCaml中，使用.mli是合法的。解决办法之一是η--扩展g的定义：如果我的代码是纯功能的(没有例外，没有副作用，等等)这应该是等价的(实际上，在多态性方面可能更好，这取决于语言如何泛化类型:在OCaml中这显然是因为，F#在类型级别上区分函数的“真”定义(如λ-表达式和计算定义</em
浏览 3提问于2013-04-05得票数 13
我有一个Result parcelable类，它应该用作一个键和一个可打包数据的容器。我是这样定义它的：open class Result<out T : Parcelable>(val key: String, val data: T?): Parcelable
问题是，在定义子类时，为了让@Parcelize工作，我需要在构造函数中将val添加到对象中，这实质
浏览 0提问于2020-05-13得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
