理解Text.Regex.Posix设计选择

概述参见英文答案 > “=~” raise “No instance for (RegexContext Regex [Char] [String])”                                    4个 我正在玩Text.Regex.Posix,我找到了这个奇怪的设计选择. 这是我的GHCi会议： λ> "Needle, Haystack, foo, and bar." =~ 参见英文答案 > “=~” raise “No instance for (RegexContext Regex [Char] [String])”                                    4个
我正在玩Text.Regex.Posix,我找到了这个奇怪的设计选择.

这是我的GHCi会议：

λ> "Needle,haystack,foo,and bar." =~ "[^ ]+" :: String"Needle,"λ> "Needle,and bar." =~ "[^ ]+" :: [[String]][["Needle,"],["haystack,["foo,["and"],["bar."]]λ> "Needle,and bar." =~ "[^ ]+" :: [String]<interactive>:27:35:    No instance for (RegexContext Regex [Char] [String])      arising from a use of ‘=~’    In the Expression:        "Needle,and bar." =~ "[^ ]+" :: [String]    In an equation for ‘it’:        it = "Needle,and bar." =~ "[^ ]+" :: [String]

我很惊讶地发现,在RegexContext的实例中,没有Regexlike的实例a b => RegexContext a b [b],但只有Regexlike a b => RegexContext a b [[b]].

我无法理解为什么使用这种设计.为什么上面没有[String]的实例,为什么它只是[[String]]？

解决方法 该实例确实存在于 regex-base-0.83中的Text.Regex.Base.Context中(2007年3月5日上传),但在 regex-base-0.90(2007年3月13日上传)中删除了.没有更改日志或解释(此时的模块文档有一个XXX这个HADDOCK文档是在XXX日期之前的评论,直到当前版本.)

但是,我最好的猜测是为什么它是完成的事实是String是[Char]的类型同义词,因此拥有String和[b]的实例会导致重叠的实例问题 – 我认为不是直接的,但足够使类型推断工作很糟糕,特别是如果你使用OverloadedStrings(虽然我不知道那个扩展是否已经存在).

总结

以上是内存溢出为你收集整理的理解Text.Regex.Posix设计选择全部内容，希望文章能够帮你解决理解Text.Regex.Posix设计选择所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。