अन्य प्रोग्रामिंग भाषाएं जो "ला लाला" प्रत्यारोपण का समर्थन करती हैं

Question

स्कैला निहितार्थ बहुत शक्तिशाली हैं। मैं उत्सुक हूं अगर वे स्कैला की एक नई/अनूठी विशेषता है, या अवधारणा पहले से ही अन्य प्रोग्रामिंग भाषाओं में मौजूद है।

धन्यवाद।

संपादित:

मेरे सवाल का स्पष्ट करने के लिए, हाँ, मैं इस ठोस कार्यान्वयन के बारे में बात कर रहा हूँ। चारों ओर "निहित चीजें" होने पर पहले अजीब लग रहा था, लेकिन थोड़ी देर के लिए इसका इस्तेमाल किया और यह देखकर कि दूसरों ने इसका इस्तेमाल कैसे किया, मैं इससे प्रभावित हूं कि यह कितना अच्छा काम करता है।

Answer 1

लग रहा है प्रेरणा की तरह हास्केल के प्रकार वर्गों था। कम से कम एक ब्लॉग आलेख का दावा है कि implicits have their origin in Haskell type classes; लेख मार्टिन ओडर्स्की द्वारा 2006 के एक पेपर को संदर्भित करता है, Poor Man's Type Classes। और डैनियल सोब्राल ने हाल ही में एक लेख लिखा है कि कैसे simulate type classes with implicits पर।

Answer 2

यह इस बात पर निर्भर करता है कि आप "implicits का समर्थन करता है" वाक्यांश को व्यापक रूप से कैसे फैलाना चाहते हैं। स्कैला में प्रत्यारोपण के लिए अनिवार्य कारणों में से एक अनिवार्य रूप से मौजूदा वर्ग में विधियों को जोड़ना है (जिनके पास आपके पास पहुंच नहीं है)। यह अलग-अलग संरचनाओं के माध्यम से अन्य भाषाओं में संभव है: उदाहरण के लिए, स्मॉलटाक, रूबी, और ऑब्जेक्टिव-सी उन वर्गों को जोड़ने के सभी समर्थन जो आप नियंत्रित नहीं करते हैं।

Answer 3

यदि मैं http://patricklogan.blogspot.com/2007/06/scala-implicits.html से सही ढंग से implicits समझता हूं तो हाँ, कई भाषाओं में इसका समर्थन किया जाता है।

सर्वश्रेष्ठ उदाहरण सी # एक्सटेंशन विधियां हैं। एक हालिया उदाहरण जहां मैंने उन्हें इस्तेमाल किया:

मुझे अक्सर दो Point एस के बीच दूरी की गणना करना पड़ता था। एक Point एक और बात करने के लिए दूरी की गणना करने के लिए कोई विधि है तो मैं अपने प्रोजेक्ट के लिए निम्न कोड कहा:

class MyPointExtension 
{ 
    public static Double GetDistance(this Point p1, Point p2) 
    { 
    return /* the pythagoras code */ 
    } 
} 

मैं तो कर सकता है:

Point unitPosition = new Point(x,y); 
Point target = new Point(x2,y2); 
Double distance = unitPosition.GetDistance(target); 

Answer 4

हालांकि स्कैला के रूप में उतना शक्तिशाली नहीं है, सी ++ में पहले से ही रूपांतरण ऑपरेटर और कॉपी कन्स्ट्रक्टर थे जो दोनों अंतर्निहित प्रकार के रूपांतरणों को जन्म दे सकते थे। बाइनरी ऑपरेटरों को परिभाषित करने की क्षमता के साथ संयोजन (कुछ स्कैला अनुमति नहीं देता है) इसने स्काला के प्रभावों की कुछ शक्तियां प्रदान कीं।

Answer 5

2000 में प्रोग्रामिंग लैनेज (पीओपीएल) के प्रिंसिपल में वास्तव में एक अच्छा पेपर था, जिसने implicit parameters पेश किया। उन्हें हास्केल में लागू किया गया है। मुझे यकीन है कि स्कैला के डिजाइनर मार्टिन ओडर्स्की को इस काम से अवगत था। (मार्टिन पीओपीएल में एक लगातार और स्वागत भागीदार है और योगदानकर्ता है।)

Answer 6

एक और संदर्भ: "Type Classes as Objects and Implicits" (2010), ब्रूनो सी डी द्वारा। एस ओलिविरा, एड्रियान मूर और मार्टिन ओडर्स्की।

इस tweet और re-tweet के माध्यम से।