OCaml构造函数解包

、

是否可以通过将类型的数据绑定到单个值而不是元组来解包类型？

浏览 1提问于2012-04-25得票数 5

回答已采纳

2回答

java instanceof和ocaml匹配

、、、、

在ocaml中，假设我们有：let x = [A 5; B "y"]if (element instanceof

浏览 1提问于2013-01-31得票数 3

回答已采纳

1回答

OCaml支持按名称调用参数传递吗？

、

Scala允许使用'=>‘语法按名称调用函数参数。例如，布尔and函数可以定义为： if (x) y else false如何在OCaml中做到这一点？我知道OCaml有用于惰性评估的构造，但我不清楚这些构造是否以及如何用于传递逐名调用参数。

浏览 3提问于2022-03-27得票数 1

回答已采纳

1回答

在ocaml中匹配调用构造函数吗？

假设我是这样在OCaml中定义一个类型的：制作时Bar构造函数是“调用”的。在下面的函数中，匹配是调用构造函数还是简单地“识别”模式而不调用构造函数？

浏览 0提问于2016-04-24得票数 2

回答已采纳

2回答

像OCaml这样的语言如何实现模式匹配？

| Nil -> None | Cons(x, xs) -> last xstype

浏览 5提问于2022-12-01得票数 2

1回答

如何将严格的字段与多态性结合起来？

、、、、

{-# UNPACK #-}实用程序告诉编译器消除冗余构造函数。引用数据T=T {-#解包#-}！(整数，浮动)数据T=T输入浮点数数据T=T {-#解包#-} !Int数据T=T Int# newtype S2 = S2 (S' Int) 与S1或

浏览 2提问于2012-10-27得票数 14

回答已采纳

1回答

在OCaml中，为什么列表构造函数:：不是运算符

、、

在将代码插入ocaml toplevel后，我发现::实际上不是一个运算符，而是一个类型构造器。(:) :: a -> [a] -> [a] 我的问题是: OCaml构造函数从来都不是第一类值(这意味着书中的代码从一开始就是错误的)，为什么会这样？

浏览 2提问于2012-12-13得票数 10

回答已采纳

1回答

无法在术语名称中使用反引号，因为camlp5 (OCaml)正在使用反引号

、

我使用的是Yojson库，其中一个构造函数叫做‘`Bool’(带有一个反号)。我正在使用OCaml源，其中使用了camlp5，因此用反引号括起来的文本会有不同的解释(例如，文本会被转换为OCaml数据结构)。我遇到的问题是，当Bool appears in my source code, camlp5/OCaml is seeing the backtick and thinking it is the startHow can I make sure this is interpreted a

浏览 1提问于2011-11-14得票数 1

回答已采纳

1回答

在OCaml中声明的参数化类型

、

在OCaml中，假设给出了一个类型：是否有特定于OCaml的内置(给定'a myTypeA myTypeB类型的值x )来获得'a myTypeA类型的值y(基本上取消构造该类型并移除myTypeB)？我在找一个有签名的函数： val deconstruct : 'a myTypeA myTypeB -> 'a myTypeA

浏览 0提问于2018-02-27得票数 0

回答已采纳

2回答

let rec在OCaml中的局限性

、

这些天我正在学习OCaml，我发现了这一点：f;; 其中，回忆录是一个函数，它将函数转换为带有Hashtable的记忆版本。很明显，OCaml对在“let rec”的右侧使用构造有一些限制，但我真的不明白，有人能对此做更多解释吗？

浏览 4提问于2013-11-08得票数 13

回答已采纳

1回答

结合参数多态和多态变体(反引号类型)

、、、

假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int$ ocamlError: A$ ocaml OCaml version

浏览 20提问于2020-01-21得票数 5

回答已采纳

3回答

OCaml cons (::)运算符？

、

在OCaml中，有没有办法单独引用cons运算符？例如，我可以将(+)和( * )用作int -> int -> int函数，但不能将(::)用作'a -> 'a list -> 'a list函数，如以下示例所示：- : int有人知道为什么OCaml中没有实现(::)吗？

浏览 3提问于2013-10-20得票数 17

回答已采纳

2回答

检查字符串是否以OCaml中的文本结尾的最方便的方法是什么？

、、

嗨，我一直在互联网上检查，以找到一种在OCaml中实现“字符串是否以特定文本结尾”的好方法，我发现在OCaml中操作字符串并不像我预期的那样简单。下面是我的OCaml代码，它使用Str.regexp检查文件名称是否以".ml“结尾，以查看它是否是OCaml脚本文件。file") 注意，readFile是我编写的一个函数，用于从构造的full_path读取文件。/utilities/dict.ml is not an OCaml f

浏览 8提问于2016-06-16得票数 5

回答已采纳

1回答

Coq中的类型封装

、、、

是否有一种方法可以在Coq模块中定义类型，但封装构造函数？我希望模块的客户端能够使用该类型，而不是构造该类型的成员，类似于使用抽象类型在OCaml中所做的工作。

浏览 3提问于2015-05-12得票数 3

回答已采纳

1回答

C=<未知constructor>中的OCaml类型构造函数

、、、

我已经为一些C代码编写了一些OCaml绑定；它们似乎工作得很好，除了在解释器中，类型构造函数对OCaml似乎是不透明的。显然，构造函数是用字符串调用的，所以无论打印什么，都应该包含这些字符串值…… 第三个问题是:是否可以在C中指定类型和类型构造函数？我怀疑答案是“显然不是”，因为OCaml类型是静态的、编译时类型，并且不能动态构造。但问问也没什么坏处。我的意思是，ocaml解释器能够很好地处理全新的

浏览 32提问于2021-11-16得票数 3

3回答

OCaml中的有序变体类型

、、

我目前正试图在OCaml中做一些麻将手的处理，从一开始我就遇到了一些困扰我的事情。type card = Card of suit * value | Joker如果我能编写一个智能的compare函数来理解有序的变体类型Card(Diamond, Num 2)][Card(Diamond, Num 2); Card(Diamond, Num 3); Card(Spade, Ace); Joker] 唉，<

浏览 6提问于2013-06-18得票数 8

回答已采纳

1回答

OCaml:如何使用相同类型的Set参数创建归纳类型

、、、

在OCaml中，我可以定义以下类型： | Branch of (int * (collection -> collection))假设我根据每个构造函数的int值定义比较函数，如何将collection转换为Set而不是list

浏览 3提问于2016-03-14得票数 2

回答已采纳

1回答

数据{-# UNPACK #-} !Size !a !(Set a) !(Set a)在Haskell中的含义

、

我对Haskell并不熟悉，但我想看看它的一些定义。我正在查看，并看到以下内容： | Tip

浏览 0提问于2019-02-19得票数 0

2回答

在创建任意新对象时遇到困难，将函数调用参数化

、

我希望在OCaml中有这样的表达但是我得到了Unbound class obj的一个编译器错误，但是为什么编译器不满足于创建这个函数，这个函数就是在这个对象上调用一个函数，而这个函数恰好带有一个init。

浏览 5提问于2015-10-31得票数 1

回答已采纳

4回答

在OCaml中扩展现有类型

、、、、

我最近一直在做一些OCaml编程，以学习这门语言并更好地了解函数式编程。那么为什么不这样做呢：...but这不是有效的OCaml，它给出了一个语法错误。我认为这是不可能的，因为例如，如果您使用了和构造函数，就无法确定它是bexp类型还是nbexp类型。(我认为构造函数Nop接受nbexp也可能有问题。) 那么有没有办法在OCaml中做这样的事情呢？

浏览 0提问于2009-11-17得票数 20

回答已采纳

点击加载更多