OCaml匹配元组？为什么未使用此匹配大小写？

文章/答案/技术大牛

发布

1回答

tuples、match、ocaml

我用OCaml编写了以下代码： let matchElement x y= | (y,_) -> true | _ -> false;; 我收到了一个警告，case _将永远不会被使用。我的意图是，如果x匹配一个元组，其中第一个元素等于类型y，则返回true，否则返回false。你知道怎么做吗？

浏览 3提问于2020-04-06得票数 1

回答已采纳

1回答

元组匹配

pattern-matching、ocaml、tuples

据我所知，我可以在带有值元组的match ... with表达式中使用模式匹配，如下所示 ("<", val) -> if v < val then true elsefalse应该是正确的，但它给了我一个语法错误，似乎不能使用括号：文件"ocaml.ml"，第41行，字符14

浏览 1提问于2010-06-13得票数 2

回答已采纳

2回答

模式匹配与if-else的性能差异

performance、pattern-matching、ocaml

为什么OCaml能够为模式匹配生成高效的机器代码，而不是为if-else测试生成有效的机器代码？它们将模式匹配的编译器优化归结为性能差异的原因。编译器将能够根据一组高效选择的运行时检查生成直接跳转到<em

浏览 1提问于2015-06-18得票数 9

回答已采纳

1回答

函数签名中的F#模式匹配

f#、pattern-matching

为什么这个不起作用？= try f() with ex -> loop (n-1) (Some(ex))它说‘不完整的模式匹配此表达式例如，值'1’可能表示模式未涵盖的大小写‘。但是为什么它不能和下面的匹配呢？如果我没记错，Haskell会匹配，为什么F#不匹配呢？

浏览 0提问于2012-02-10得票数 2

回答已采纳

2回答

“方形”元组的Ocaml图案匹配？

functional-programming、pattern-matching、ocaml

在尝试学习Ocaml和函数语言的一般情况下，我一直在研究模式匹配。我正在阅读，并决定自己尝试以下练习：(4，2，4，4) -> false (a, a, a, a) -> true 当然，<em

浏览 3提问于2017-12-24得票数 5

回答已采纳

1回答

Swift模式匹配中顺序的意外结果

pattern-matching、swift

但是，我希望"(something, A)"和第二个case语句匹配。据我理解，(_, .A)应该匹配第一个元组元素中的任何内容，而.A应该匹配第二个元组元素中的任何内容。如果我将(_, .A)大小写移到顶部，它将与我预期的匹配。其他元组也与我所期望的匹配。我遗漏了什么？为什么第二个案子配不上这个？

浏览 2提问于2014-06-11得票数 7

回答已采纳

2回答

在OCaml中未使用大小写匹配

ocaml

我在get_list上得到了第二个匹配大小写的警告Warning 11: this match case is unused.。我在第一个大小写上打印了一些东西，发现len get的值是0，所以它从不使用第二个大小写。发生了什么？

浏览 1提问于2016-05-01得票数 2

1回答

ocaml -递归列表匹配函数中的未绑定值错误

emacs、ocaml、tuareg

我从一个ocaml入门课程的幻灯片中复制了一个递归列表匹配函数。let rec fac n = match n with | _ -> n * fac(n-1);; 我得到：“错误:未绑定值” 为什么会这样呢？

浏览 2提问于2017-09-27得票数 0

2回答

为什么OCaml的模式匹配比Erlang的更弱？

erlang、pattern-matching、ocaml

我是OCaml的新手，还读过“真实世界”( Real，RWO)一书。第三章描述了模式匹配，并与Erlang(或Prolog)的模式匹配相比显得比较弱。我的问题是： ;; - : int list = [1; 2; 3; 4; 5; 6] 在Erlang中，<

浏览 3提问于2016-01-22得票数 9

回答已采纳

2回答

Ocaml模式匹配

list、pattern-matching、ocaml

我对OCaml和模式匹配非常陌生，所以我很难弄清楚这一点。 | first -> second | first -> second 如果我使用因此，我想列出规则列表中的所有第一个

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

1回答

为此，我们使用了一种用于事务的数据类型ﬁrst deﬁned：我们在类中完成的示例中添加了两个新的事务。在课堂上，我们使用了一个函数make-account，它在给定期初余额时生成一个银行帐户。在本练习中，您被要求修改此代码并生成一个受密码保护的银行帐户。为此，使用下面所示的参数和类型实现函数makeProtectedAccount。我试图在OCaml中声明一个函数，它以一个元组作为输入。但是当我试图告诉编译器元组中每个元素的类型时，它给

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

回答已采纳

1回答

matching中的递归函数与模式匹配

recursion、functional-programming、ocaml

以下代码片段来自官方的OCaml ：| a :: (b :: _ as t) -> if a = b then compress t else例如，大小写在哪里？是smaller -> smaller吗？我知道smaller是一个变量，或者是一个标识符，但是它返回了什么(在OCaml中返回正确的术语是为了这里发生的事情)？我知道OCaml中的列表是单独链接的，所以我也想知道是否正在生成一个新列表，或者是否正在削减现有列表中的元素？由于OCam

浏览 0提问于2018-09-22得票数 0

回答已采纳

1回答

为什么||不能用于模式匹配？

syntax、pattern-matching、ocaml

在OCaml中，当我执行模式匹配时，我不能执行以下操作： | ... -> ...我知道||在OCaml中的意思是or，但是为什么我们在模式匹配中只需要使用一个‘管道’：|来指定'or‘？ 为什么通常的||不起作用呢？

浏览 1提问于2018-10-06得票数 0

3回答

OCaml:将变量与元组的非结构化元素进行模式匹配？

pattern-matching、ocaml、destructuring

match input with | second -> firstOCaml告诉我，第一种情况是无可辩驳的，其他情况没有使用。我发现这种行为令人费解，因为我想要分解一个元组并绑定它的元素，然后将变量与这些元素相匹配；它似乎不起作用。在这一点上，我意识到OCaml必须相信y只是一个新绑定的影子名称，因此可以与它匹配所有内容。但我也知道，使用

浏览 0提问于2020-07-30得票数 0

2回答

Ocaml中的嵌套模式匹配

pattern-matching、ocaml、unused-variables

我想用Ocaml编写一个函数，给出一个四重和四重(x，y，z，f)的列表，返回一个包含元组( x‘，y'，z'，g)的列表，使x=x’或y=y‘或z= z’(这些是整数)。_, r,Some(_)) -> hd::constrained_by c tl end 问题:当它被调用时，不管我们匹配的是什么四倍此外，问题是它返回警告x，y，r在行(警告)是未使用的。

浏览 3提问于2013-03-21得票数 4

2回答

"match ... true -> foo | false -> bar“在Ocaml中有特殊含义吗？

syntax、switch-statement、pattern-matching、ocaml

在我正在阅读的Ocaml项目的代码中，我在不同的地方遇到了下面的构造。

浏览 1提问于2009-09-26得票数 5

回答已采纳

4回答

基于字符串列表的不区分大小写的模式匹配

string、f#、pattern-matching、match、case-insensitive

我正在使用参数列表上的模式匹配来完成它。rest问题是我想让"/out"匹配不区分大小写，同时保留其他东西的大小写。这意味着我不能改变输入并将输入的小写形式与之匹配(这将丢失fileName大小写信息)。求助于不太理想的when子句。每次匹

浏览 25提问于2010-02-09得票数 18

回答已采纳

1回答

字符串的F#模式匹配

f#、pattern-matching

); ("A",0)];;val it : (string * int) list = [("A", 5); ("BB", 6); ("AA", 9); ("A", 0)]最终我会希望我的输出 val it : int list = [0; 5]

浏览 2提问于2021-02-12得票数 1

回答已采纳

1回答

在Eclipse android.support中构建Android项目不能解析为类型

java、android、xml、eclipse、android-support-library

我正在尝试使用7.1.1的目标和编译器版本以及最低版本的android 8 (2.2)来创建一个"hello world“android应用程序。此错误如下所示：，控制台显示： C:\Users\Peralta\Desktop\Penn Drive\CIS 120\OCaml\FindIt\res\values\styles.xml:7:错误:检索项目的父项时出错:找不到与给定名称'Theme.AppCompat.Light‘匹配的资源。'Theme.AppCompat.Light‘匹

浏览 4提问于2017-02-20得票数 1

1回答

使用元组规则的F#模式匹配永远不会匹配。

f#、pattern-matching

所以我有一个id和一个值的元组。我知道我要找的id，我想从我要传递的三个元组中选择正确的元组。我本来打算用两个match语句来完成这个任务，一个嵌套在另一个中，但是每件事都与第一个规则相匹配。对于这个例子，我将其缩减为两个元组，因为这显示了我的问题。编译器给出了“规则永远不会匹配”的警告，但我不明白为什么。

浏览 1提问于2017-01-25得票数 6

回答已采纳

点击加载更多