如何实现支持多前缀的stripPrefix功能？

嘿，我完全理解你的困扰——嵌套的case语句不仅丑，而且扩展起来太麻烦了！既然你想支持任意长度的前缀列表，我们可以用Haskell的递归或者折叠（fold）来优雅地实现这个需求，而且代码会清晰很多。

首先，先明确你的核心逻辑：按顺序依次尝试去掉列表中的每个前缀（前一个处理后的结果作为下一个的输入），只有当第一个前缀能成功匹配并移除时，才返回最终处理后的字符串；如果第一个前缀都匹配不上，就标记为失败。下面给你两种实现方式，都很容易扩展：

方式一：递归实现（新手友好，容易理解） #

我们可以先写一个辅助函数stripPrefixes，它会按顺序处理所有前缀，不管每个步骤是否成功，都返回最终的字符串：

import Data.List (stripPrefix)

-- 按顺序依次尝试移除每个前缀，返回处理后的字符串
stripPrefixes :: [String] -> String -> String
stripPrefixes [] s = s  -- 没有前缀了，直接返回原字符串
stripPrefixes (p:ps) s = 
    case stripPrefix p s of
        Just stripped -> stripPrefixes ps stripped  -- 移除当前前缀成功，继续处理剩下的前缀
        Nothing -> stripPrefixes ps s  -- 移除失败，用原字符串继续处理下一个前缀

然后再写你需要的myStripPrefix，它负责判断第一个前缀是否匹配，匹配成功就返回处理后的结果，否则返回Nothing：

myStripPrefix :: [String] -> String -> Maybe String
myStripPrefix [] s = Just s  -- 空前缀列表，直接返回原字符串
myStripPrefix (firstP:restPs) s = 
    case stripPrefix firstP s of
        Just firstStripped -> Just (stripPrefixes restPs firstStripped)
        Nothing -> Nothing  -- 第一个前缀匹配失败，直接返回Nothing

这样你的myFunc就可以简化成：

myFunc :: String -> String
myFunc string = 
    case myStripPrefix ["string1", "string2"] string of
        Just result -> result
        Nothing -> undefined  -- 这里建议换成合理的默认值，比如原字符串：string

方式二：用foldl简化代码（更简洁） #

如果你想更简洁，可以用foldl来替代递归的辅助函数，结合fromMaybe来处理Maybe类型：

import Data.List (stripPrefix)
import Data.Maybe (fromMaybe)

stripPrefixes :: [String] -> String -> String
stripPrefixes prefixes s = 
    foldl (\currentStr prefix -> fromMaybe currentStr (stripPrefix prefix currentStr)) s prefixes

foldl的逻辑很简单：从原字符串s开始，对每个前缀，尝试移除它——如果成功就用移除后的字符串，失败就保留当前字符串，依次处理完所有前缀。

对应的myStripPrefix可以用>>=（绑定操作符）来简化，让代码更符合Haskell的风格：

myStripPrefix :: [String] -> String -> Maybe String
myStripPrefix [] s = Just s
myStripPrefix (firstP:restPs) s = 
    stripPrefix firstP s >>= \firstStripped -> Just (stripPrefixes restPs firstStripped)

一些额外的小建议 #

1. 尽量不要用undefined，它会在运行时抛出错误，实际代码里可以换成原字符串或者其他业务逻辑允许的默认值，比如：

   myFunc string = fromMaybe string (myStripPrefix ["string1", "string2"] string)
   

2. 如果你的需求是只要列表中有任意一个前缀能匹配就移除它（而不是按顺序全部处理），那逻辑会不一样，但看你的代码，你需要的是顺序处理所有前缀，所以上面的方案完全适用。
3. 记得导入需要的模块：Data.List提供stripPrefix，Data.Maybe提供fromMaybe和isJust/fromJust这些工具函数。

备注：内容来源于stack exchange，提问作者jns-v