लैम्ब्डा कैलकुस में, यदि किसी शब्द का सामान्य रूप है, तो सामान्य आदेश कमी रणनीति हमेशा इसका उत्पादन करेगी। मुझे आश्चर्य है कि उपरोक्त प्रस्ताव को सख्ती से कैसे साबित करना है?
मुझे पता है कि स्कैला एएलजीओएल से कॉल-बाय-नाम का समर्थन करता है, और मुझे लगता है कि मैं समझता हूं कि इसका अर्थ क्या है, लेकिन क्या स्कैला कॉल-बाय-रेफरेंस जैसे सी #, वीबी.नेट और सी ++ कर सकता है? मुझे