代码之家 › 专栏 › 技术社区 › Iter Ator

在case表达式中,通配符模式匹配是如何工作的?

haskell

Iter Ator · 技术社区 · 6 年前

我想了解 example server code 它使用 WebSocket 图书馆。

我发现了一个奇怪的案例表达,我无法理解:

case msg of
    _   | not (prefix `T.isPrefixOf` msg) ->
            WS.sendTextData conn ("Wrong announcement" :: Text)

        | any ($ fst client)
            [T.null, T.any isPunctuation, T.any isSpace] ->
                WS.sendTextData conn ("Name cannot " `mappend`
                    "contain punctuation or whitespace, and " `mappend`
                    "cannot be empty" :: Text)

        | clientExists client clients ->
            WS.sendTextData conn ("User already exists" :: Text)

        | otherwise -> flip finally disconnect $ do

        -- ...

这张外卡是什么意思?case表达式的语法如下:

case expression of pattern -> result  
                   pattern -> result  
                   pattern -> result  
                   ...

为什么是 _ 有必要,为什么作者可以在里面使用防护装置?

1 回复 | 直到 6 年前

chi 6 年前

case irrelevant of
   _ | condition1 -> e1
     | condition2 -> e2
     ...
     | otherwise  -> eO

是写一连串 if then else .

if condition1 
then e1
else if condition2
then e2
...
else eO

这个 irrelevant 表达是无关的。它的值与 _ ,它总是成功并丢弃值。

你的代码使用混乱 case msg of ... 但是 msg 被忽略。通常一个人写 case () of ... 强调它的价值是不重要的。

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

2 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

2 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

2 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

2 年前

Fabus1184 · Haskell mapM_不打印

2 年前

Gotthold · 基于范数约束向量的类型

2 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

2 年前

jian · haskell将另一个函数用作输入参数

2 年前

Jocafrei · 用Haskell函数实现最大公约数函数

6 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

6 年前