आलस्य और समारोह संरचना (Haskell, erlang)

Question

कोई समझाने या कैसे समारोह रचना के संबंध में काम करता है आलस्य के बारे में कुछ संसाधनों दे कृपया कर सकते हैं?

उदाहरण के लिए filter (/='W') . map toUpper $ "justaword" हास्केल में काम करता है जो एरलांग में इसके समकक्ष की तुलना में आलसी नहीं है?

Answer 1

हर बार एक और चरित्र की मांग की है (या अंत की अधिसूचना), अगले वर्ण - यदि कोई हो - अपरकेस में मैप किया गया है, कि 'डब्ल्यू' करने के लिए, की तुलना में अगर असमान दिया जाता है।

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 तक पहुँचने के लिए।