有没有一种方法可以对独立于构造函数的构造函数进行模式匹配？有时在模式匹配中，我只关心构造函数，而不关心与之相关的数据。我担心的是，当我在ADT中更改构造函数的数量时，我必须遍历并更改所有的模式匹配，即使是那些丢弃所有“字段”的</e
浏览 5提问于2017-08-12得票数 3
回答已采纳
Nil -> None | Cons(x, xs) -> last xs
显然，此模式与mylist - Nil和Cons的构造函数匹配我的问题是如何实现这样的东西。在找到与Cons匹配的值之前，不能只是将值输入到l，所以我假设OCaml编译器实现了类似于“反向构造函数<
浏览 5提问于2022-12-01得票数 2
2回答
在OCaml中，模式匹配中的顺序与性能之间是否存在关系？例如，如果我声明一个类型：然后执行一些模式匹配，如下所示： | A -> ...match t1 with | _ -> ...
假设在第一种情况下，A的数量与第二种情况下
浏览 0提问于2013-05-02得票数 1
回答已采纳
假设我是这样在OCaml中定义一个类型的：制作时Bar构造函数是“调用”的。在下面的函数中，匹配是调用构造函数还是简单地“识别”模式而不调用构造函数？
浏览 0提问于2016-04-24得票数 2
回答已采纳
last_two = function | [x;y] -> Some (x,y)我理解第一个：_::t的意思是模式匹配任何东西对我来说，应该是_:: t -> ...来匹配任何东西，并称之为t
浏览 8提问于2020-04-20得票数 1
回答已采纳
在OCaml中，是否可以在模式匹配时将名称绑定到数据构造函数的内部？作为一个示例，假设我有以下OCaml程序：let f x = match x wi
浏览 0提问于2016-11-18得票数 2
回答已采纳
我正在做一个使用流解析器的项目。我对OCaml有点陌生，所以所有的参数化类型都让我头晕目眩。给出这个简单的例子： utop # Parser_flow.program "let x;";; []),
[]) 考虑到Loc.t Ast.program部分：Ast.program是由Loc.t参数化的，我该如何<
浏览 16提问于2019-12-05得票数 0
2回答
在ocaml中，假设我们有：let x = [A 5; B "y"]x.add(new Integer(5));在数组列表迭代中，我们必须使用instanceof和downcast来处理数据在内部，ocaml是否将运行时类型信息作为java携带，并且类型匹配语句
浏览 1提问于2013-01-31得票数 3
回答已采纳
5回答
什么是Haskell中的模式匹配?它与防护方程有何关系？编辑:被标记为家庭作业的人。我不再上学了，我只是在学习Haskell，我正在努力理解这个概念。
浏览 6提问于2010-02-09得票数 45
回答已采纳
在OCaml模块签名中，我可以编写： monotype_free_variables: StringSet.t Lazy.t;}
(注意private的使用。)这允许导入我的模块的代码与像monotype_description这样的字段进行模式匹配，但不允许代码导入我的模块来构
浏览 0提问于2019-01-29得票数 4
回答已采纳
我是OCaml的新手，还读过“真实世界”( Real，RWO)一书。第三章描述了模式匹配，并与Erlang(或Prolog)的模式匹配相比显得比较弱。我的问题是：
以下函数(摘自
浏览 3提问于2016-01-22得票数 9
回答已采纳
我有一个定义为type abc = bool->int;;的类型，它解释了从bool到int的简单映射。我的问题是，我如何使用这个type abctype Color = Red|Green|Blue|Dark of Color|Light of Color;;
然后我就可以使用像DarkRed;;拥有type Color这样的东西了。但是现在我似乎不能使用这个新的type abc了。
浏览 5提问于2017-01-22得票数 0
回答已采纳
2回答
我是Ocaml的新手，我有一个关于Ocaml模式匹配的问题。如果我有以下类型定义：我如何匹配一个术语，即Function (t -> t)？到目前为止，我唯一能做的就是匹配Function f。但是，有什么方法可以使这个论点与函数相匹配呢？理想情况下，有这样的东西是很
浏览 2提问于2020-02-09得票数 0
回答已采纳
5回答
我有一个表单的函数 match bindings withvalue)::tail -> value | [] -> -1
我可以断定identifier没有按照我希望的方式进行绑定，而是作为match表达式中的一个新变量。如何让ident
浏览 0提问于2010-03-05得票数 11
回答已采纳
在macOS高山上使用ocaml-top 1.1.5和ocaml 4.02.3：
当编译一个文件时，当函数触发(模式匹配)警告8时，警告显示为红色(在我通常使用的Windows ocaml-top版本中，它将是黄色的)；函数本身似乎是编译的，并给出了一个类型，但文件中位于它下面的函数无法编译(就好像警告是实际的编译错误一样)。我失踪的案子显然是故意的</e
浏览 1提问于2018-05-28得票数 0
3回答
我目前正试图在OCaml中做一些麻将手的处理，从一开始我就遇到了一些困扰我的事情。它给了我唉，ocaml基本上，我想要一个从类型声明结构中获得提示的compare函数
浏览 6提问于2013-06-18得票数 8
回答已采纳
1回答
假设我想在OCaml中建模一个简单的表达式类型：| `Int of int| `IntAdd of expr * expr是否可以将expr中的expr * expr限制为expr本身的特定构造函数(例如，我希望IntExpr只允许'Int's)？我可以通过模式匹配来模拟它，但是在expr扩展之后它变得很麻烦。我能用<e
浏览 2提问于2018-11-10得票数 2
回答已采纳
我正在尝试使用Ocaml学习函数式编程，我想实现一个函数，它返回列表中元素的和。我想用write循环来完成它，但是我想不出写支票的方法。我想象过这样的事情 let j = ref 1 in while xs <> []j hd ;上失败了
错误:此表达式的类型为“a list ->”a，但预期表达式为int类型。
浏览 3提问于2022-09-29得票数 0
3回答
我是OCaml的新手，我正在试图理解如何从一个'a选项中获得值。根据的文档，有一个类型为'a option -> 'a的get函数，它可以做我想要的事情。
浏览 0提问于2012-09-06得票数 11
回答已采纳
我今天读了Jason Hickey的在线书籍“Objective Caml简介”，在关于Functors的章节(第140页)中，我在Set functor的定义中遇到了下面这行：运行代码会导致一个不太有启发性的'Syntax error‘错误消息。在将代码插入ocaml toplevel后，我发现::实际上不是一个运算符，而是一个类型构造器。
然而，从我对Haskell所知不多的情况来看，等价的:构造<
浏览 2提问于2012-12-13得票数 10
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
