सहप्रसरण और विचरण फ्लिप

Question

में अधीर के लिए स्काला कहा जाता है कि

कार्यों उनके परिणाम प्रकार में अपने तर्क में विपरीत संस्करण और covariant

यह वह जगह है कर रहे हैं सीधा और समझने में आसान, हालांकि एक ही विषय में यह कहता है कि

हावेव एक समारोह पैरामीटर के अंदर एर, विचरण flips- इसके मापदंडों covariant

रहे हैं और यह Iterator के रूप में की foldLeft विधि का उदाहरण लेता है:

def foldLeft[B](z : B)(op : (B, A) => B) : B 

मैं यह स्पष्ट रूप से यह क्या कहते हैं नहीं मिल रहा है।

मैं

1. http://www.artima.com/pins1ed/type-parameterization.html

2. http://blog.kamkor.me/Covariance-And-Contravariance-In-Scala/

3. http://blogs.atlassian.com/2013/01/covariance-and-contravariance-in-scala/

लेकिन स्पष्ट समझ नहीं मिला के रूप में ब्लॉगों की कुछ कोशिश की।