使用Haskell Text.RE.TDFA包替换数值时的解析错误及实现问题

问题背景 #

尝试用Haskell的Text.RE.TDFA包将字符串中的数字替换为其两倍值，当前实现代码：

s *=~/ fmap (\x -> show $ 2.0*(read x::Double)) [ed|${doublestring}([0-9]*\.[0-9]*)///${doublestring}|]

观察到的异常行为：

• 当输入s = "xxx1.1xxx"时，触发错误：regex.hs: Prelude.read: no parse
• 若将替换部分的${doublestring}改为字面量数字（如1.1），输入"xxx1.1xxx"可正常输出"xxx2.2xxx"

问题解答 #

1. ${doublestring}捕获组解析失败的原因 #

你的正则语法完全错误：

• Text.RE.TDFA中命名捕获组的正确定义语法是(?<name>pattern)，而非${name}(pattern)。你当前的写法没有创建任何名为doublestring的捕获组，反而把${doublestring}当作字面量去匹配字符串，导致实际未捕获到有效数字，传递给read的是空字符串或无效内容，触发解析错误。
• 替换部分引用捕获组的语法也有误，Text.RE.TDFA的ed quasi-quote中，命名捕获组的引用格式是%{name}，不是${name}。

2. 基于TDFA后端的正确实现 #

提供两种可靠实现方案：

方案一：使用命名捕获组

修正捕获组定义与引用语法：

import Text.RE.TDFA

doubleNumbers :: String -> String
doubleNumbers s = s *=~/ fmap (\x -> show $ 2.0 * (read x :: Double)) [ed|(?<num>[0-9]*\.[0-9]*)///%{num}|]

• (?<num>[0-9]*\.[0-9]*)：创建名为num的捕获组，匹配小数格式字符串
• %{num}：在替换部分引用该捕获组的内容
• fmap自动将每个捕获到的数字字符串传入处理函数，完成翻倍后替换回原位置

方案二：使用位置捕获组（更简洁）

若不需要命名，直接用位置捕获组$1对应第一个捕获组：

import Text.RE.TDFA

doubleNumbers :: String -> String
doubleNumbers s = s *=~/ fmap (\x -> show $ 2.0 * (read x :: Double)) [ed|([0-9]*\.[0-9]*)///$1|]

补充：优化正则匹配范围

原正则[0-9]*\.[0-9]*无法匹配整数（如123）、带正负号的数字或科学计数法格式，若需支持更全面的浮点数，可将正则改为：

[-+]?[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?

内容的提问来源于stack exchange，提问作者C. Ding