- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我试图弄清楚如何处理模式匹配情况,它根据匹配返回不同的类型,我知道它必须为每个分支返回相同的类型,所以我不确定处理一个“正确”的方法是什么这样的情况是:
我试图在下面举例说明我的困惑,paintArr 是一个数组,表示可以包含某种颜色或空槽的调色板。
paintArr.[i,j].color 是 Color 类型的选项,包含黑白。
模式匹配应该为每个插槽决定颜色是黑色还是白色,并将其索引添加到适当的数组中。
let sort (paintArr: Pallete) =
let black = [||]
let white = [||]
for i = 0 to 5 do
for j = 0 to 5 do
match ((Option.get (paintArr.[i,j])).color) with
| White -> Array.append white paintArr.[i,j]
| Black -> Array.append black paintArr.[i,j]
| None -> "not sure what to do here"
(black, white)
所以基本上,我认为我的问题归结为:您如何处理这样的情况,在某些情况下,我会得到一场需要我什么都不做的比赛,或者可能只是与其他情况不同的事情?
最佳答案
序言:对我来说很明显你对 F# 非常缺乏经验。如果这是真的,我建议你先阅读某种书籍或一组教程(我总是推荐 https://fsharpforfunandprofit.com/)。您正在尝试使用比初学者应该处理的更复杂的代码。
首先,请注意 Array.append
不会“更改”(“更新”、“修改”)数组,而是返回一个新数组 - 您给它的原始数组和新元素的串联。有了这些知识,很容易看出您的 Array.append
调用是无用的:它们会返回一些东西,但你会立即将其丢弃。
从上下文中,我了解您实际上想要做的是用它的扩展版本替换有问题的数组。为此,您需要声明您的数组 mutable
,然后使用“破坏性更新”运算符<-
:
black <- Array.append black paintArr.[i,j]
破坏性更新运算符 <-
在 F# 中相当于赋值语句 =
在类 C 语言中。
现在,如果您像这样使用破坏性更新运算符,则该表达式的结果类型将是 unit
- 一个空类型,用于表示“无值(value)”。这种类型只有一个值,写成两个括号,括号之间没有任何内容。例如:
> let x = ()
val x : unit = ()
所以要实现“所有分支的相同类型”规则,您可以让第三个分支简单地返回 unit
值,不调用任何函数:
| None -> ()
将以上所有内容应用于您的代码,我们得到:
let sort (paintArr: Pallete) =
let mutable black = [||]
let mutable white = [||]
for i = 0 to 5 do
match ((Option.get (paintArr.[i,j])).color) with
| White -> white <- Array.append white paintArr.[i,j]
| Black -> black <- Array.append black paintArr.[i,j]
| None -> ()
(black, white)
但是,请注意,这仍然无法编译,因为其中还有其他错误。首先,Option.get
仅在 paintArr.[i,j].color
时有效是 Some
值,但是当它是 None
时会崩溃.其次,即使这个函数成功了,它也会返回一个颜色,但是你试图将它与 None
进行比较。 ,这不是一种颜色。这将产生编译时错误。
目前很难推断出您实际上想要做什么,但我会尝试猜测。我会猜 paintArr.[i,j].color
是 Color option
类型, 其中 Color
是一个包含 White
的枚举, Black
,以及其他一些颜色。
如果是这样,您需要在 Option.get( ... )
上不匹配, 但在 paintArr.[i,j].color
本身,并处理三种情况:(1)当颜色为Black
时包裹在 Some
, (2) 当颜色为 White
包裹在 Some
, 和 (3) 当颜色为 None
时:
for i = 0 to 5 do
match paintArr.[i,j].color with
| Some White -> white <- Array.append white paintArr.[i,j]
| Some Black -> black <- Array.append black paintArr.[i,j]
| None -> ()
最后,我可以看到 i
的循环。 , 但是 j
在哪里?我猜你只是忘记为它添加一个循环:
for i = 0 to 5 do
for j = 0 to 5 do
match paintArr.[i,j].color with
| Some White -> white <- Array.append white paintArr.[i,j]
| Some Black -> black <- Array.append black paintArr.[i,j]
| None -> ()
关于types - F#在模式匹配中返回不同的类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/48157513/
使用sed和/或awk,仅在行包含字符串“ foo”并且行之前和之后的行分别包含字符串“ bar”和“ baz”时,我才希望删除行。 因此,对于此输入: blah blah foo blah bar
例如: S1: "some filename contains few words.txt" S2:“一些文件名包含几个单词 - draft.txt” S3:“一些文件名包含几个单词 - 另一个 dr
我正在尝试处理一些非常困惑的数据。我需要通过样本 ID 合并两个包含不同类型数据的大数据框。问题是一张表的样本 ID 有许多不同的格式,但大多数都包含用于匹配其 ID 中某处所需的 ID 字符串,例如
我想在匹配特定屏幕尺寸时显示特定图像。在这种情况下,对于 Bootstrap ,我使用 col-xx-## 作为我的选择。但似乎它并没有真正按照我认为应该的方式工作。 基本思路,我想显示一种全屏图像,
出于某种原因,这条规则 RewriteCond %{REQUEST_FILENAME} !-f RewriteCond %{REQUEST_FILENAME} !-d RewriteRule ^(.*
我想做类似的东西(Nemerle 语法) def something = match(STT) | 1 with st= "Summ" | 2 with st= "AVG" =>
假设这是我的代码 var str="abc=1234587;abc=19855284;abc=1234587;abc=19855284;abc=1234587;abc=19855284;abc=123
我怎样才能得到这个字符串的数字:'(31.5393701, -82.46235569999999)' 我已经在尝试了,但这离解决方案还很远:) text.match(/\((\d+),(\d+)\)/
如何去除输出中的逗号 (,)?有没有更好的方法从字符串或句子中搜索 url。 alert(" http://www.cnn.com df".match(/https?:\/\/([-\w\.]+
a = ('one', 'two') b = ('ten', 'ten') z = [('four', 'five', 'six'), ('one', 'two', 'twenty')] 我正在尝试
我已经编写了以下代码,我希望用它来查找从第 21 列到另一张表中最后一行的值,并根据这张表中 A 列和另一张表中 B 列中的值将它们返回到这张表床单。 当我使用下面的代码时,我得到一个工作表错误。你能
我在以下结构中有两列 A B 1 49 4922039670 我已经能够评估 =LEN(A1)如2 , =LEFT(B1,2)如49 , 和 =LEFT(B1,LEN(A1)
我有一个文件,其中一行可以以 + 开头, -或 * .在其中一些行之间可以有以字母或数字(一般文本)开头的行(也包含这些字符,但不在第 1 列中!)。 知道这一点,设置匹配和突出显示机制的最简单方法是
我有一个数据字段文件,其中可能包含注释,如下所示: id, data, data, data 101 a, b, c 102 d, e, f 103 g, h, i // has to do with
我有以下模式:/^\/(?P.+)$/匹配:/url . 我的问题是它也匹配 /url/page ,如何忽略/在这个正则表达式中? 该模式应该: 模式匹配:/url 模式不匹配:/url/page 提
我有一个非常庞大且复杂的数据集,其中包含许多对公司的观察。公司的一些观察是多余的,我需要制作一个键来将多余的观察映射到一个单独的观察。然而,判断他们是否真的代表同一家公司的唯一方法是通过各种变量的相似
我有以下 XML A B C 我想查找 if not(exists(//Record/subRecord
我制作了一个正则表达式来验证潜在的比特币地址,现在当我单击报价按钮时,我希望根据正则表达式检查表单中输入的值,但它不起作用。 https://jsfiddle.net/arkqdc8a/5/ var
我有一些 MS Word 文档,我已将其全部内容转移到 SQL 表中。 内容包含多个方括号和大括号,例如 [{a} as at [b],] {c,} {d,} etc 我需要进行检查以确保括号平衡/匹
我正在使用 Node.js 从 XML 文件读取数据。但是当我尝试将文件中的数据与文字进行比较时,它不匹配,即使它看起来相同: const parser: xml2js.Parser = new
我是一名优秀的程序员,十分优秀!