具有模式匹配的F#分支逻辑
F#是一种函数式编程语言，具有模式匹配的分支逻辑是其核心特性之一。模式匹配是一种强大的编程技术，可以根据输入的模式选择不同的执行路径。在F#中，模式匹配可以应用于各种数据类型，包括基本类型、自定义类型、列表、元组等。
具体来说，F#中的模式匹配可以通过match表达式实现。match表达式由多个模式匹配分支组成，每个分支由一个模式和对应的执行代码块组成。当输入的值与某个模式匹配时，对应的代码块将被执行。
F#的模式匹配支持多种模式，包括常量模式、变量模式、构造函数模式、列表模式、活动模式等。通过组合不同的模式，可以实现复杂的分支逻辑。
模式匹配在F#中的优势在于简洁性和可读性。通过模式匹配，可以将复杂的分支逻辑以清晰的方式表达出来，避免了传统的if-else嵌套结构。同时，模式匹配还可以帮助开发人员捕获和处理各种可能的输入情况，提高代码的健壮性和可靠性。
在云计算领域，F#的模式匹配可以应用于各种场景。例如，在处理云计算中的请求时，可以使用模式匹配来根据请求的类型选择不同的处理逻辑。在处理云计算中的数据时，可以使用模式匹配来解析和转换不同的数据格式。在处理云计算中的错误和异常时，可以使用模式匹配来捕获和处理不同类型的错误。
腾讯云提供了一系列与云计算相关的产品，可以帮助开发人员构建和管理云计算应用。具体推荐的产品和产品介绍链接如下：
- 云函数（Serverless）：腾讯云云函数是一种事件驱动的无服务器计算服务，可以帮助开发人员在云端运行代码，无需关心服务器的管理和维护。了解更多：云函数产品介绍
- 云数据库 MySQL 版：腾讯云云数据库 MySQL 版是一种高性能、可扩展的关系型数据库服务，适用于各种规模的应用场景。了解更多：云数据库 MySQL 版产品介绍
- 云存储（对象存储）：腾讯云云存储是一种安全、高可靠、低成本的云端存储服务，适用于存储和管理各种类型的数据。了解更多：云存储产品介绍
以上是腾讯云提供的一些与云计算相关的产品，可以根据具体需求选择适合的产品来支持云计算应用的开发和运维。
相关·内容
(我是F#新手)。我在F#中有以下定义：
init i j =
{ Id = Guid.NewGuid ()
InnerRows = [0 .. 2] |> List.map (Cell.init i j)
SelectedInnerRow = None}
let update msg m =
match msg with
| Select id -> { m with SelectedInnerRow = id }
| Reset -> init
其中，update函数在"Reset -> init
浏览 1提问于2020-10-14得票数 1
回答已采纳
3回答
和类型与多态性
、、
在过去的一年里，我学到了一种函数式编程语言(，F#)，我发现其中一个更有趣的事情是它如何影响我设计OO软件的方式。在OO语言中，我发现自己最缺少的两件事是模式匹配和和类型。无论我往哪里看，我都会看到一些情况，它们都会被歧视的联盟模式化，但我不愿意在某些OO实现中拿出铁撬，这对范例来说是不自然的。
这通常会导致我创建中间类型来处理sum类型将为我处理的or关系。它似乎也导致了大量的分支。如果我读到像米斯科·希尔这样的人，他建议，良好的OO设计可以通过多态性最小化分支。
在OO代码中，我尽量避免的事情之一是使用null值的类型。显然，or关系可以用一个null值和一个非null值的类型建模，但这意
浏览 0提问于2018-03-12得票数 13
回答已采纳
2回答
else语句之前的那行显然是一个单元，但得到的却是一个布尔值。我刚开始使用F#，但不能理解这一点。
我有点反对布局，因为我从来没有使用过Stackoverflow，代码框仍然让我感到困惑！我相信原稿中的空格是缩进的，我相信是正确的。
let m = Dictionary<int, int>()
let rec fib i =
match i with
| 1 -> i
| 0 -> i
| _ ->
if m.ContainsKey(i) then
if m.[i] > 0 t
浏览 0提问于2012-11-30得票数 3
回答已采纳
9回答
解释模式匹配与切换
、、、
我一直试图向一些人解释switch语句和模式匹配(F#)之间的区别，但我并不能真正地解释它，因为大多数时候他们只是看着我说“为什么不直接使用if..then..else”。
你怎么向他们解释呢？
编辑！感谢每个人的回答，我真的希望我能标记出多个正确的答案。
浏览 2提问于2008-10-14得票数 68
回答已采纳
我使用的项目包含许多继承自单个基类的类。在单元测试中，我需要按类型和数据比较收到的结果。
当我按类型使用匹配比较时，条件列表包含了足够多的不同条件，编译器抛出OutOfMemoryException。
例如，在编译过程中，遵循F#代码会引发System.OutOfMemoryException (参数错误FS0193) (编译在抛出异常之前大约需要30秒)。
type IBaseClass() = class end
type IChildClass1 () = inherit IBaseClass ()
type IChildClass2 () = inherit IBaseClass
浏览 3提问于2012-05-16得票数 12
回答已采纳
2回答
在F#中，给定
type MyType = A | B | C | D | E | F | G
如何随机定义MyType实例？
浏览 0提问于2009-12-06得票数 5
回答已采纳
2回答
我有这样一个受歧视的工会：
type A = |B | C of int*A
我必须使用这样的模式匹配(括号似乎是必需的)：
match x with
| B -> printfn "B"
| C (i,a) -> printfn "%A, %A" i a
是否有一种方法可以将这样的模式与活动模式相匹配：
match x with
| B -> printfn "B"
| C i a -> printfn "%A, %A" i a
如果不是这样的话，为什么F#的设计会导致这种与咖喱参数的匹配不起作用，而是迫
浏览 4提问于2016-08-26得票数 2
回答已采纳
4回答
我正在学习F#来自C#，我刚刚试着编译了一个表达式，如
let y = Seq.groupBy (fun x -> (x < p ? -1 : x == p ? 0: 1))
但请参阅“表达式中的意外整数文字”。F#有三值运算符吗？如果没有，我应该用什么代替？
浏览 0提问于2015-02-16得票数 48
回答已采纳
在C#中，可以使用将引用类型值转换为请求的类型或null，因此只需要在使用之前检查强制转换值是否为空。我如何在F#中做到这一点？
浏览 2提问于2013-09-28得票数 2
回答已采纳
1回答
在vi中，表示行
阿哈伊
我执行命令：
.S/a*\j/x/g
线转到
xj
而不是预期的
xx
这是vi的窃听器吗？sed、gawk和nawk的行为就像预期的那样，例如：
% echo aaaj | awk '{gsub(/a*|j/,"x");print}'
xx
另外，如果不是上面的命令，而是运行命令
.S/j/a*/x/g
("j“和"a*”交换)，则行将如预期的那样变成"xx“。
浏览 1提问于2016-03-30得票数 4
回答已采纳
1回答
我正在将c#递归函数转换为f#。我对F#不太熟悉。我犯了很多错误，我不知道为什么。我确实查过，但是在我所有的if语句中，我对如何用f#编写它感到困惑。
下面是c#递归函数
private List<double> ReturnClosestInList(List<double> allKey, int begin, int end)
{
if (end >= begin)
{
int mid = begin + (end - begin) / 2;
if (allKey
浏览 0提问于2021-02-15得票数 0
回答已采纳
2回答
以下F#代码如我所料，打印“匹配为‘A’”：
let (|Char|_|) convf = function
| LazyList.Nil -> None
| LazyList.Cons (x, _) -> Some (convf x)
let test = function
| Char System.Char.ToUpper x -> printfn "Matched as %A" x
| _ -> printfn "Didn't match"
test (LazyList.of_list
浏览 6提问于2009-08-28得票数 14
回答已采纳
我已经开始学习F#和异步了。
我已经尝试转换一些C#代码，如下所示：
public async Task<string> getValueOrDefault(string? key)
{
if (key is null)
{
return "default";
}
else
{
return await getValue(key);
}
}
我的F#代码看起来如下：
let getValueOrDefault (key: Option<string>) =
async {
浏览 3提问于2020-10-21得票数 2
回答已采纳
2回答
我试图在F#中生成日期(时间段)列表，我在()上找到了答案，它工作得很好。
但是，我不能提前完成(+)静态成员的定义。
静态成员(+) (d:DateTime，Span包装器)=.
特别是Span包装部分。我甚至改写为：
静态成员(+) (d:DateTime，包装器:Span)=.
即使它编译(fsi)，它也不工作。
只有当我重写它以匹配原始语法时，它才会像预期的那样工作。
我查看了MSDN以及我拥有的一些F#书籍，但是我找不到任何东西来解释(+)操作符的特定语法。
浏览 2提问于2015-03-29得票数 4
回答已采纳
在F#中创建命令行菜单时出错。函数本质上应该接受一个char(字符串)转换为num并运行=代码。
Module Main =
let rec commandmenu() =
printfn "Select a command"
printfn "1. Word count Command - Word count"
printfn "2. Word count Command help"
printfn "3. Touch Command - Touch file"
浏览 4提问于2019-08-07得票数 0
C#和F#具有不同的默认(或可选)参数实现。
在C#语言中，当向参数添加默认值时，不会更改其基础类型(我指的是参数的类型)。实际上，C#中的可选参数是一个轻量级的语法糖：
class CSharpOptionalArgs
{
public static void Foo(int n = 0) {}
}
// Somewhere in the call site
CSharpOptionalArgs.Foo();
// Call to Foo() will be transformed by C# compiler
// *at compile time* to something li
浏览 2提问于2013-04-13得票数 10
2回答
我只是在学习F#和我黑了这个功能，但我不完全明白是怎么回事，谁能解释一下吗？
open System.Collections.Generic
let factorials = Dictionary<int, int>()
factorials.Add(1, 1)
let rec factorial n =
if n <= 1 then 1
else
match factorials.TryGetValue(n) with
| true, _ -> n * factorial(n-1)
| false,
浏览 0提问于2013-12-11得票数 2
回答已采纳
2回答
1-我真的很困惑在元编程上应用F#引用和模式，请在F#中建议一些方法来接近这个概念。
你能向我展示一些F#引用和模式在元编程中的实际应用吗？
3-有些人说他甚至可以用F#编写另一种语言，比如IronScheme，对吗？
谢谢。
浏览 1提问于2010-12-01得票数 13
回答已采纳
对于F#，因为我不能在List.map中使用if语句，所以我尝试使用帮助函数。如果所有的值y和z都大于或小于中位数，它将返回所有的值y，z作为c1或c2。但我在第12行中得到了类型错误，其中让L=“.”对于“1020”，它表示“预期类型单位，但给定类型int”。不太确定该怎么解决这个问题。如有任何建议，将不胜感激。
let hold y z median c1 c2 =
if (y > median) && (z > median) then
(c1, c1)
else if (
浏览 0提问于2018-04-10得票数 0
回答已采纳
在F#中有什么内置的方法可以将true转换为1，false转换为0？这在C、C++等语言中很简单。
作为背景，我正在尝试解决教科书中的一个练习(中的练习2.4 )，它要求一个F#函数occFromIth(str,i,ch)，它返回字符串str和j >= i中的j位置中出现的字符ch的次数。
我的解决办法是
let rec occFromIth (str : string, i, ch) =
if i >= str.Length then 0
else if i < 0 || str.[i] <> ch then occFromIth(str, i+
浏览 4提问于2013-09-08得票数 3
回答已采纳
2回答
我习惯于在C#中编写这样的代码：
SomeObj obj;
try{
// this may throw SomeException
obj = GetSomeObj();
}catch(SomeException){
// Log error...
obj = GetSomeDefaultValue();
}
obj.DoSomething();
这是我在F#中翻译它的方式(obj是一个列表)：
let mutable obj = []
try
obj <- getSomeObj
with
| ex ->
// L
浏览 0提问于2013-04-08得票数 9
回答已采纳
2回答
我正在F# interactive中试用以下代码，并得到'error FS0001: the type 'int ->‘’not match the type 'int‘。下面是我正在尝试的代码
> let rec factorial n = function
| 0 -> 1
| n -> n * factorial (n - 1);;
这是“科学家的F3”书中的一个例子。谢谢,
浏览 0提问于2011-10-28得票数 1
回答已采纳
在查找有关内联函数的静态解析类型参数的信息时，我偶然发现了FSharp.Core中的定义：
let inline (+) (x: ^T) (y: ^U) : ^V =
CheckedAdditionDynamic<(^T),(^U),(^V)> x y
when ^T : int32 and ^U : int32 = (# "add.ovf" x y : int32 #)
when ^T : float and ^U : float = (# "add" x y : fl
浏览 0提问于2014-10-16得票数 20
4回答
F#短路模式匹配
、、、
F#新手。下面的问题可能完全没有意义。
// an attempt at Huffman encoder
let encodeValue x y = function ...
match ((encodeValue left value), (encodeValue right value)) with
| ((true, encoded), (_, _)) -> (true, encoded + "1")
| ((_, _), (true, encoded)) -> (true, encoded + "0")
| ((f
浏览 0提问于2011-08-05得票数 6
回答已采纳
1回答
在F#中，我可以在语法中的不同地方使用模式匹配。
例如：
// Given this type...
type SingleCaseUnion = | SingleCaseUnion of int
/// ...I can do this:
let destructureInFunc (SingleCaseUnion n) =
printfn "%d" n
// ...and this:
type DestructureInMethod() =
member t.M(SingleCaseUnion n) =
printfn "%d&#
浏览 1提问于2015-01-27得票数 5
回答已采纳
4回答
Kotlin有类似于区分联合(sum类型)的东西吗？这个(F#)的惯用Kotlin翻译是什么：
type OrderMessage =
| New of Id: int * Quantity: int
| Cancel of Id: int
let handleMessage msg =
match msg with
| New(id, qty) -> handleNew id qty
| Cancel(id) -> handleCxl id
浏览 1提问于2015-02-24得票数 56
回答已采纳
我正在编写一个F#库来调用。HTTP请求的JSON主体根据请求应该发送的信息的数量或类型而有所不同。
例如，下面是使用匿名记录创建json主体的代码，用于HTTP请求列出项目中的文件。
type Request = {
ApiToken: ApiToken
ProjectId: ProjectId
StartingAt: ObjectId option
}
module Request =
let toJson request =
let (ProjectId projectId) = request.ProjectId
let
浏览 1提问于2020-09-28得票数 1
回答已采纳
在F#中，可以同时基于类型和值来区分联合吗？
这里尝试在不知道语法应该是什么样子的情况下表达这一点。
type Foo =
| A of int * Foo
| B of string where B.name = "1" * Foo
| C of string where C.name = "2" * Foo
| Empty
浏览 3提问于2013-04-15得票数 0
回答已采纳
3回答
假设我想做重复的地图查找。
在C#中，我可以将return用于“平面”控制流：
Thing v = null;
if (a.TryGetValue(key, out v))
{
return v;
}
if (b.TryGetValue(key, out v))
{
return v;
}
if (c.TryGetValue(key, out v))
{
return v;
}
return defaultValue;
它有点难看，但很容易读懂。
在我不太熟悉的F#中，我会使用match表达式：
match a.TryGetValue(key) with
浏览 3提问于2017-11-21得票数 5
回答已采纳
给定此函数
let readInput() =
Seq.initInfinite (fun _ -> Console.ReadLine())
|> Seq.takeWhile (fun s -> s <> null) `
|> Seq.map int`
_在由Seq.initInfinite调用的函数中是否是一个通配符，以便可以从STDIN中读取任何内容？
我有几本不同的F#书籍，并且正在上网，但只能找到_在解压元组值时使用的引用。
浏览 0提问于2016-09-20得票数 1
回答已采纳
我创建了一个基本存储库，并向我的朋友发送请求，让他成为我项目的协作者。他分叉了我的仓库，并在那里做了一些修改。然后他为我创建了一个请求，让我合并他所做的更改。但与此同时，他还可以选择将更改合并到基本存储库，即未经我允许的矿藏库。我怎么能限制它？我的意思是，如何才能合并请求，而不是我的所有团队成员。
实际上，我已经在一台PC上试过了，我在浏览器上打开了主帐户，在隐匿标签上打开了另一个帐户。并创建了从我的另一个帐户到主帐户的拉请求，但是在我的另一个帐户中，我可以选择将更改合并到基本存储库，这是我的主要帐户，当我这样做时，这些更改也会反映到我的主帐户GitHub存储库。
帮我修一下。如果我错的地方，
浏览 13提问于2020-08-29得票数 4
回答已采纳
我正在构建一种玩具语言，我想要有模式匹配。我可以自己构建整个东西(并且不知道如何构建)，但是因为我将在F#中完成，所以我想知道是否可以将整个事情推迟到它那里。
所以，我有一个解释器和我的自定义语法。如果我给出一个AST，是否可以用F#用它来解决模式匹配？
从另一种角度来看，是否可以使用C#和其他.NET语言中的F#模式匹配？
例如，如果程序是(使用类似于F#的虚构语法)：
case x with
( 1 , 2 , Three):
print("Found 1, 2, or 3!")
else var1:
print("
浏览 1提问于2014-12-02得票数 3
如果F#在以前的守卫中被缩小了，那么它们是否缩小了类型？
type FirstOption = bool option
type SecondOption = bool option
let foo first second =
match first with
| None -> false
| Some value when second.IsSome ->
// second is still Option<bool>
sencond // x this doesn't fly.
浏览 1提问于2020-08-03得票数 2
回答已采纳
我不相信看到。上面写着：
4月份，Chris将介绍如何用x86编写一个F#编译器。
演示文稿可能持续一两个小时，这显然不足以编写编译器。我听说F#很强大，但是这么强大？
好吧，我想问的是:你能这么快地用F#编写编译器吗？
浏览 8提问于2010-04-19得票数 4
回答已采纳
5回答
引用实际用法
、、、
我遇到了“引用”这个词，我正在尝试找出一些现实生活中使用它的例子。为每个代码表达式使用AST的能力听起来很棒，但如何在现实生活中使用它呢？
有人知道这样的例子吗？
浏览 4提问于2011-09-23得票数 3
回答已采纳
1回答
我看到在F#中很容易定义一个类型，它是一组其他类型的组合，例如
type MyFiveNumbers = One | Two | Three | Four | Five
这看起来太棒了！
在Scala中，最简单的方法是什么？
浏览 1提问于2014-12-01得票数 1
回答已采纳
4回答
我刚刚注意到，F#允许我使用文本和其他模式的let绑定，如下所示：
let fib 0 = 1
let exists item [] = false
let car (hd :: tl) = hd
let cdr (hd :: tl) = tl
F#正确地将这些函数解释为一种模式匹配，因为给出了以下警告：
警告1不完全模式与此表达式匹配。例如，值'1‘将不匹配
警告2此表达式上的不完全模式匹配。例如，“_”值将不匹配
等。
这些函数如预期的那样工作，但我想用这种样式定义一个具有完全模式匹配的函数，但是我在F#手册中找不到任何关于这种替代模式匹配语法的信息。
我知道我可以使用let w
浏览 3提问于2009-01-18得票数 11
回答已采纳
2回答
我想做一些类似的东西(Nemerle语法)
def something =
match(STT)
| 1 with st= "Summ"
| 2 with st= "AVG" =>
$"$st : $(summbycol(counter,STT))"
在F#上，F#是真的吗？
浏览 1提问于2010-12-28得票数 3
回答已采纳
我查看了这里描述的F#中类型的模式匹配语法：
该页面中的示例(略有修改)：
open System.Windows.Forms
let RegisterControl (control: Control) =
match control with
| :? Button as button -> button.Text <- "Registered."
| :? CheckBox as checkbox -> checkbox.Checked <- false
| _ -> ()
我不明白的是，为什么我们需要引入
浏览 4提问于2014-11-22得票数 1
回答已采纳
module Reflection =
[<RequireQualifiedAccess>]
module Type =
let isType<'a> = Unchecked.defaultof<'a>
let (|IsEqual|Isnt|) (_:'a) (t:Type):Choice<unit,unit> =
let t' = typeof<'a>
if t = t' then Is
浏览 12提问于2018-08-24得票数 2
回答已采纳
3回答
用F#实现C#异步接口
、、、
我必须用F#实现一个C#接口。我必须使用的接口和许多方法都是用C#编写的，并且大量使用异步。
从C#到F#的端口示例代码：
public async Task CloseAsync(PartitionContext context, CloseReason reason)
{
Console.WriteLine(string.Format("Processor Shuting Down. Partition '{0}', Reason: '{1}'.", this.partitionContext.Lease.PartitionId,
浏览 2提问于2015-03-09得票数 3
2回答
我正在寻找F#中可用的"case类“的等价物。
当您想要创建带有方法和字段的自定义类，并且仍然能够使用它们进行模式匹配时，Cases类非常有用，如Scala网站的此中所述。
有没有人知道在F#中是否也存在同样的问题？
浏览 0提问于2011-06-15得票数 20
回答已采纳
2回答
因此，这是由：这个问题启发的，但实际上并没有回答:您认为：
public class Case<TRes>
{
public Case(bool condition, Func<TRes> result)
{
Condition = condition;
Result = result;
}
public bool Condition {get; private set;}
public Func<TRes> Result { get; private set; }
publi
浏览 0提问于2011-10-02得票数 3
1回答
我有一种表达方式：
^(?P<stereo1>/?|\\\\?)(?P<bond1>|=?|\.|#?)(?P<number1>[0-9%]*)(?P<branching>[()]*)(?P<stereo2>/?|\\\\?)(?P<bond2>|=?|\.|#?)(?P<number2>[0-9%]*)$
假设我们在后面有一个字符串'\1'：
re.match(regexp, string)
stereo2 = '\'和number2=1.
我的问题是:为什么stereo1 !
浏览 3提问于2014-12-14得票数 2
回答已采纳
1回答
我有以下方法：
public < V extends U > boolean matchesObject (V object, String filter) {
if (filterIsAny(filter)) return true;
else {
List<T> targets = getFilterTarget(object);
for (T t : targets) if (matches(t, filter)) return true;
return false;
}
}
其中
浏览 0提问于2019-07-11得票数 1
回答已采纳
3回答
在“编程F#”中，我遇到了一个像这样的模式匹配(我做了一点简化)：
let rec len list =
match list with
| [] -> 0
| [_] -> 1
| head :: tail -> 1 + len tail;;
实际上，我知道最后一个匹配可以识别列表的头部和尾部。从概念上讲，我不明白它为什么会起作用。据我所知，:：是cons运算符，它在列表的头部位置追加一个值，但在我看来，它不像是这里的运算符。我是否应该将其理解为列表的“特殊语法”，其中:：根据上下文被解释为运算符或“匹配模式”？或者，是否可以将同样的想法扩展到列表以外的其
浏览 1提问于2010-05-17得票数 13
回答已采纳
5回答
我想知道如何在F#中做正则表达式或上下文无关文法。
我有一些使用F#的经验(我从来没有见过/使用过活动模式，(我在时间约束的课程中明确地把它省略了))，我在python中做过一些正则表达式，从一个糟糕的数学角度来看，我也做过正则表达式和语法。
我到处看了看，都被难住了。我对regex的MSDN文档不是很清楚。
我有点失望地发现
match str with
|a + "." + b + "." + c -> Some(a,b,c)
|[] -> None
没有起作用。
我怀疑这样的效果可以通过活动模式来实现。
编辑以澄清:我想知道如何做正则表达式或上
浏览 3提问于2011-06-04得票数 2
回答已采纳
1回答
我有一个F#记录类型(Request<'a>)，其中一个字段被定义为('a -> bool) option。在某种程度上，我有一个这种记录类型的数组，并希望对其进行排序，以便所有具有Some ('a -> bool)的数组都是第一个(最低索引)，所有具有None的数组都是最后一个(最高索引)。
我尝试过执行以下操作，但这似乎不起作用，因为我有一些位于数组的中间/端：
let sort (req1:Request<'a>) (req2:Request<'a>) =
if req1.ResourceCo
浏览 3提问于2016-05-09得票数 1
回答已采纳
3回答
大家好，
我正在用OCaml开发一个小小的业余爱好项目。我想知道把它移植到F#有多容易。我知道F#有一些OCaml没有的特性，但我希望我的OCaml代码可以轻松移植。我不一定想迁移，我想在两个平台上都保留/开发。
提前谢谢你，迈克尔
浏览 0提问于2010-11-22得票数 18
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
