懒惰和功能组成(haskell,erlang)

Question

有人可以解释或提供一些关于功能组合如何与懒惰相关的资源吗？

例如filter (/='W') . map toUpper $ "justaword",Haskell的工作方式与erlang中的对应方式相比如何？

Answer 1

每当需要另一个角色(或结束通知)时,下一个角色 - 如果有的话 - 被映射到大写,与'W'相比,如果不相等则被传递.

filter (/= 'W') . map toUpper $ "justaword"
~> filter (/= 'W') (toUpper 'j' : map toUpper "ustaword")
~> filter (/= 'W') ('J' : map toUpper "ustaword")
~> 'J' : filter (/= 'W') (map toUpper "ustaword")

现在第一个字符可用,因此对于像null或类似的查询take 1,没有进一步的工作.如果消费者要求更多字符,则将逐一生成它们,直到到达字符串的末尾.

例:

Prelude Data.Char> take 10 . filter (/= 'W') . map toUpper $ repeat 't'
"TTTTTTTTTT"

repeat产生无限列表,但只要消耗了有限部分,计算就会在有限时间内完成.但是,take 10 . filter (/= 'W') . map toUpper $ repeat 'w'不会终止,因为没有任何生成的字符通过它filter到达take 10.