Haskell是否有与Rust的if let模式匹配等价的语法？

关于Rust if let的等价语法 #

Rust里的if Some(inner_val) = option { ... }是模式匹配的简化写法，Haskell标准库没有完全对应的语法，但可以通过以下方式实现类似效果：

1. 标准case表达式：这是Haskell处理模式匹配最基础、最惯用的方式，对应Rust if let的单分支匹配逻辑：

case option of
  Some inner_val -> -- 执行你的业务逻辑
  _ -> pure () -- 其他分支无需操作时写空执行

2. 借助GHC扩展：如果开启特定扩展，可以写出更贴近if let风格的代码（日常开发建议优先用标准case，避免不必要的扩展依赖）：

• 开启PatternGuards扩展：

{-# LANGUAGE PatternGuards #-}

foo option = do
  guard (Just inner_val <- Just option)
  -- 执行匹配后的逻辑

• 开启ViewPatterns扩展：

{-# LANGUAGE ViewPatterns #-}

foo (Just inner_val) = -- 匹配Just分支的逻辑
foo _ = -- 其他分支逻辑

优化conduit的peek实现 #

你之前的代码重复写return mx，核心是误解了case表达式在do块中的作用：case分支执行完毕后，do块后续的代码会继续执行，不管走哪个分支。基于这个逻辑，我们可以把共享的return mx提到case外面，只在需要的分支执行特殊逻辑：

peek :: Monad m => ConduitT a o m (Maybe a)
peek = do
  mx <- await
  case mx of
    Just x -> leftover x
    Nothing -> pure () -- 空操作，无需额外逻辑
  return mx

如果觉得Nothing -> pure ()有点冗余，还可以利用Maybe的Foldable实例，用forM_进一步简化代码：

import Data.Foldable (forM_)

peek :: Monad m => ConduitT a o m (Maybe a)
peek = do
  mx <- await
  forM_ mx leftover -- 仅当mx是Just x时，自动执行leftover x
  return mx

这种写法既消除了重复代码，也不会触发编译器警告，逻辑简洁且符合Haskell的惯用风格。

内容的提问来源于stack exchange，提问作者thisisrandy