स्कैला: सूची क्यों नहीं है [=> Int] काम करता है?

Question

मैं स्केल के इन्स और आउट सीखने पर काम कर रहा हूं, और हाल ही में मैं कुछ ऐसी चीज में आया हूं जिसके बारे में मैं उत्सुक हूं।

मैं समझता हूँ के रूप में,, (मौके पर यह मूल्यांकन करने के बिना) मैं टाइप कर सकते हैं अगर मैं कोड का एक खंड है कि प्रभावी ढंग से lazily एक समारोह के लिए मूल्यांकन किया जाता है पास करना चाहते हैं:

def run(a: =>Int):Int = {...} 

इस अर्थ में, फ़ंक्शन रन को कोड का एक ब्लॉक प्राप्त होता है, जिसका मूल्यांकन अभी तक किया जाना है, जिसका मूल्यांकन यह गणना करता है और गणना की गई Int का देता है। मैंने फिर इस विचार को सूची डेटा संरचना में विस्तारित करने का प्रयास किया। लेखन:

def run(a: List[=>Int]) = {...} 

यह तथापि, एक त्रुटि देता है। मैं सोच रहा था कि यह क्यों अस्वीकृत है। कैसे, इस वाक्यविन्यास के अलावा मैं कोड के अनियमित ब्लॉक की एक सूची पास कर सकता हूं?

Answer 1

=>Int नाम पैरामीटर के लिए वाक्यविन्यास है। =>Int एक प्रकार नहीं है, इसलिए इसे List पर पैरामीटर के रूप में उपयोग नहीं किया जा सकता है। हालांकि, ()=>Int एक प्रकार है। यह nullary फ़ंक्शंस का प्रकार है जो Int लौटाता है। तो यह काम करता है:

def run(a: List[()=>Int]) = {...} 

Answer 2

उप-पैरामीटर पैराला में प्रथम श्रेणी का प्रकार नहीं है।

List[()=>Int] समाधान में से एक है। अन्यथा, आप निम्नलिखित Lazy डेटा संरचना का उपयोग कर सकते हैं।

• https://gist.github.com/1164885
• https://github.com/scalaz/scalaz/blob/v6.0.4/core/src/main/scala/scalaz/Name.scala#L99-107
• https://github.com/scalaz/scalaz/blob/v7.0.0-M7/core/src/main/scala/scalaz/Name.scala#L37-L60
• https://github.com/scala/scala/blob/v2.10.0/src/reflect/scala/reflect/internal/transform/Transforms.scala#L9-23
• https://github.com/harrah/xsbt/blob/v0.12.1/compile/api/SafeLazy.scala
• https://github.com/okomok/ken/blob/0.1.0/src/main/scala/com/github/okomok/ken/Lazy.scala
• https://github.com/playframework/Play20/blob/2.1-RC1/framework/src/play/src/main/scala/play/api/libs/functional/Util.scala#L3-L11