स्कैला - '=> कुछ टाइप' का क्या अर्थ है?

Question

आज मैं पूछना चाहता हूं कि '=> कुछ टाइप' का क्या अर्थ है। मैंने इसे this article में उपयोग किया। यह 'अनुक्रमिक कॉम्बिनेटर' भाग में है।

किसी भी उत्तर के लिए धन्यवाद!

Answer 1

इसका मतलब है कि कोड का एक ब्लॉक जिसे आप चला सकते हैं।

उदाहरण के लिए

तो:

scala> def doTwice(op: =>Unit) = {op; op} 
doTwice: (op: => Unit)Unit 

scala> doTwice({println("Hi")}) 
Hi 
Hi 

इस मामले में =>Unit{println("Hi")}

यहाँ "SomeType" है यूनिट है, क्योंकि println एक मूल्य का उत्पादन नहीं करता। अगर यह Int का उत्पादन करता है, तो यह =>Int होगा।

Answer 2

यह केवल एक प्रकार का फ़ंक्शन मान है जो कोई पैरामीटर नहीं लेता है। ओवेन का उदाहरण अच्छा है, बस यह जान लें कि "ए => बी" एक पैरामीटर वाला फ़ंक्शन है जिसमें टाइप ए और "=> बी" के साथ रिटर्न-वैल्यू एक ऐसा फ़ंक्शन है जो कोई पैरामीटर और रिटर्न नहीं लेता है प्रकार बी

Answer 3

के साथ एक मान दो चीजों को इंगित करता है। सबसे पहले, उपसर्ग => की वजह से, यह इंगित करता है कि पैरामीटर by name पारित किया जाएगा। फिर, यह इंगित करता है कि पारित पैरामीटर का प्रकार SomeType होना चाहिए।

कुछ लोग दो को भंग करते हैं, सोचते हैं => SomeType एक प्रकार है - यह नहीं है। यह दो चीजों का संयोजन है: पैरामीटर मूल्यांकन रणनीति और पैरामीटर प्रकार।

तो, नाम से फोन पर संक्षिप्त विवरण, मामले में विकिपीडिया लिंक बातें स्पष्ट नहीं किया, अगर आप इस राशि:

def f[A](x: => A) = { x; x } 
f(some stuff) 

फिर स्काला इस तरह इस पर अमल होगा:

{ some stuff; some stuff } 

मूल्य से एक फोन पर, क्या होता है और अधिक इस तरह है:

val x = some stuff 
{ x; x } 

भी ध्यान दें कि पैरामीटर हमेशा मूल्य पर कॉल पर मूल्यांकन किया गया है, लेकिन केवल एक बार। नाम से कॉल पर, पैरामीटर कभी का मूल्यांकन नहीं किया जा सकता है (यदि यह if की गैर-निष्पादन शाखा पर है, उदाहरण के लिए), लेकिन कई बार मूल्यांकन किया जा सकता है।