代码之家 › 专栏 › 技术社区 › Roman Gonzalez

haskell中的“~”是什么意思?

pattern-matching haskell syntax

Roman Gonzalez · 技术社区 · 15 年前

我在学习 mtl 图书馆和尝试做一些我自己的单子转换。我在检查 Control.Monad.State.StateT 声明,在所有代码中,我看到了以下语法:

execStateT :: (Monad m) => StateT s m a -> s -> m s
execStateT m s = do
  ~(_, s') <- runStateT m s
  return s'

这是什么 ~ 操作数是什么意思?

3 回复 | 直到 15 年前

jrockway 15 年前

这是haskell中一个懒惰模式的符号。我不能说我很熟悉,但是 from here :

它被称为懒惰的模式,并且形式~PAT.懒惰的模式是不可辩驳:匹配值V 对抗~pat总是成功的, 不管帕特怎么说。操作上的如果pat中的标识符是后来在右手边“使用”了, 它将绑定到如果v是成功匹配pat和_? 否则。

也, this section 可能有用。

sth 15 年前

对于正常模式匹配,需要评估应该匹配的值,以便将其与模式进行比较。

~ 表示一个延迟模式匹配:只是假设值将匹配该模式。如果实际使用了匹配变量的值,则仅在稍后才进行匹配。

finnw 15 年前

相当于

execStateT m s = do
  r <- runStateT m s
  return (snd r)

或

execStateT m s =
  runStateT m s >>= return . snd

推荐文章

Ben · 统计向量中的单词在字符串中出现的频率

11 月前

LondonRob · 用于检查列表是否包含元素的结构模式匹配

1 年前

Dhana · 角度模式生成-无法获得所需的输出

1 年前

James Jithin · 字符串匹配方法-正斜杠不起作用

1 年前

Adrian · 使用返回类型声明处理Python类型检查器错误

1 年前

Aditi · 我正在尝试用Java解决一个数字模式问题。我已经写了代码,如果有人能对我现有的sol进行更改,我将不胜感激

1 年前

quat · 一个Java 21开关表达式可以有多个保护吗?

1 年前

Ezk13 · Make:如何将模式匹配的变量传递到列表

1 年前

zajer · 在ocaml中同时匹配多个模式

1 年前

Dimitris Andreou · 列表的模式匹配,捕获“…rest”元素

2 年前