haskell - (unwords .words) 出现意外结果

Question

已关闭。这个问题是 not reproducible or was caused by typos 。目前不接受答案。

---

这个问题是由拼写错误或无法再重现的问题引起的。虽然类似的问题可能是 on-topic在这里，这个问题的解决方式不太可能帮助 future 的读者。

已关闭 5 年前。

Improve this question

任何人都可以解释 unwords . words 的行为吗？在下面的例子中。我希望它删除字符串 s 中的所有双空格，但显然事实并非如此。另一方面 unwords (words s) 的行为正如预期的那样。

Prelude> s
"this     is   a  test    "
Prelude> unwords (words s) 
"this is a test"
Prelude> (unwords . words) s 
"this     is   a  test    "
Prelude> (unwords . words) s == unwords (words s)
False
Prelude> (unwords . words) s == s 
True

我在 OS X 10.11.6 上使用 GHCi 8.2.2。

Answer 1

我怀疑你可能写过类似的内容:

Prelude> (unwords . words) s = s   -- oops: used "=" instead of "=="

在您的 GHCi session 的早些时候。这将具有重新定义 (.) 运算符的效果，以便 f . g 是任何 f 和 g 的恒等函数，之后您将获得观察到的行为:

Prelude> unwords (words "a  b  c  ")
"a b c"
Prelude> (unwords . words) "a  b  c  "
"a  b  c  "

甚至:

Prelude> (16 . map) "hello, world!"
"hello, world!"