किसने प्रॉक्सी गुजरने का आविष्कार किया और कब?

Question

ऐसा लगता है कि हाल के वर्षों तक, एक समारोह के लिए एक अतिरिक्त प्रकार पारित करने के लिए हमेशा की तरह

f (undefined :: T) 

Kiselyov और शान भी वर्ग आधारित प्रतिबिंब पर उनकी क्लासिक समाचार पत्र में इस दृष्टिकोण का इस्तेमाल किया है कि प्रेरित तरह कुछ करने के लिए था reflection पैकेज। उन्होंने यह ध्यान में रखते हुए स्पष्ट कुरूपता से माफ कर दिया कि फर्जी मूल्य का कभी निरीक्षण नहीं किया जाता है। और Data.Bits.finiteBitSize में केवल थोड़ा ही बदसूरत अवतार दिखाई देता है, जो इसके प्रकार को प्राप्त करने के लिए अनदेखा करता है।

फिर कोई प्रॉक्सी मुहावरे का पता लगाया, और सबकुछ बदल गया। अब हम हमेशा देखना और अधिक संतोषजनक

f (Proxy :: Proxy T) 

(मानक कोड — GHC प्रकार आवेदन में एक और कहानी है)।

किसने इसे समझ लिया? क्या यह पहले कहीं कोड में दिखाई देता था, या एक पेपर?

Answer 1

ए शानदार प्रश्न। अप्रैल 2013 से शुरुआती जीएचसी प्रस्ताव TypeLevelReasoning, libraries धागा "Proxy, new Typeable, and type-level equality" (मूल पोस्टर रिचर्ड ईसेनबर्ग, हाल ही में निर्भर हास्केल काम के पीछे चालक बल) का संदर्भ देता है। वह धागा एक और libraries धागा "Proxy and new-typeable" (मूल पोस्टर शाचाफ बेन-किकी) का संदर्भ देता है, जिसे new-typeable शाखा से पैच के जवाब में शुरू किया गया था। पुरानी शाखा के नामों का रिकॉर्ड ढूंढना मुश्किल है और जो उन्होंने इंगित किया है, लेकिन commit 3d53407 by José Pedro Magalhães उस शाखा का स्क्वैश संस्करण प्रतीत होता है। वास्तव में यह data Proxy t = Proxy प्रकार पेश करने के लिए जीएचसी में पहली प्रतिबद्धता लैंडिंग प्रतीत होता है। बाद में फरवरी 2013 में commit 01aa22b में Eisenberg उस प्रकार को Data.Proxy पर ले जायेगा। Proxy का अंतिम डिज़ाइन कई लोगों के विचारों के सामूहिक संश्लेषण प्रतीत होता है। हालांकि, हम Magalhães के काम में Proxy पर अकादमिक संदर्भ प्राप्त कर सकते हैं, जैसे उनकी प्रस्तुति "The right Kind of Generic Programming" (अक्टूबर 2012) और उनके ब्लॉग पोस्ट "Coming soon in GHC HEAD: poly-kinded Typeable" (नवंबर 2012)। हम शायद उसके आधार पर Proxy को शामिल करने की विशेषता दे सकते हैं।

हालांकि, एक Proxy प्रकार के विचार बहुत पुराना लगता है:

• Yorgey, बेवकूफ, SPJ (अक्टूबर 2011)

• "Scrap your boilerplate with class" Lammel, जोन्स (ICFP 2005)

द्वारा द्वारा "Giving Haskell a promotion"

यह यहां है कि मेरी Google खोज सूखी हो जाती है। मुझे उस 2005 के पेपर में एक पूर्ववर्ती प्रतीत नहीं होता है।

कोडा: कि सूत्र में Shachaf के प्रस्ताव, सार्वभौमिक forall proxy a. proxy a का उपयोग करके प्रॉक्सी प्रकार मात्र निर्धारण का (जो आधार पुस्तकालयों अभी भी इस दिन के लिए उपयोग करें) के बजाय forall a. Proxy a ही दिलचस्प है, कि और धागे में अन्य ईमेल के रूप में वहाँ कम से सुझाव है हो सकता है कि एक बिंदु Proxy के कई उदाहरण होस्केल पारिस्थितिक तंत्र के चारों ओर तैर रहा हो। जैसा कि टिप्पणियों में उल्लेख किया गया है, Kmett's tagged library had it back in June 2010।