सामान्य लिस्प में टाइपक्लास

Question

मुझे आश्चर्य है कि हास्केल के typeclasses को आम लिस्प में अनुकरण करने का कोई तरीका है या नहीं।

जेनेरिक फ़ंक्शन overloading की अनुमति देते हैं, और deftype का उपयोग करके प्रकारों को परिभाषित करना संभव है (उदाहरण के लिए उदाहरणों की कुछ सूची में सदस्यता द्वारा परिभाषित किया जा सकता है)।

लेकिन मैं एक प्रकार पर dispatch नहीं कर सकता। cons को दोबारा परिभाषित किए बिना sequence वर्ग के उप-वर्ग को cons वर्ग बनाने के बाद कक्षा को किसी अन्य वर्ग के उप-वर्ग (और उप-प्रकार) को बनाने का कोई तरीका है?

धन्यवाद।

Answer 1

हास्केल में टाइप क्लास शब्दकोषों के रूप में "इंटरफेस" के लिए स्थिर रूप से कार्यान्वयन का साधन हैं (इसी प्रकार सी ++ में vtables का उपयोग कैसे किया जाता है, लेकिन लगभग (लगभग) पूरी तरह स्थिर रूप से, सी ++ के विपरीत, जो रनटाइम पर गतिशील प्रेषण करता है)। सामान्य लिस्प हालांकि गतिशील रूप से टाइप की गई भाषा है इसलिए इस तरह के लुकअप का कोई मतलब नहीं होगा। हालांकि आप रनटाइम पर "टाइप क्लास" कार्यान्वयन (उदाहरण) के अपने स्वयं के रूप को लागू कर सकते हैं - सामान्य लिस्प के रूप में अभिव्यक्ति के रूप में एक भाषा में कल्पना करने के लिए एक डिजाइन बहुत मुश्किल नहीं है।

पीएस पाइथन के ज़ोप में एक समान गतिशीलता के साथ एक अनुकूलन तंत्र है, यदि आप एक गतिशील सेटिंग में मौजूदा समाधान का जिक्र करना चाहते हैं।

Answer 2

आप जिस तरह से कल्पना करते हैं उसमें कक्षा पदानुक्रम को संशोधित नहीं कर सकते हैं, लेकिन आप बहुत अधिक प्रभाव प्राप्त कर सकते हैं।

मान लीजिए कि एक sequence की अपनी परिभाषा यह समारोह sequence-length के लिए एक विधि है कि है। कि एक नया वर्ग है कि cons शामिल बनाया था

(defmethod sequence-length ((s cons)) 
    (length s)) 

:

(defclass sequence ...) 
(defmethod sequence-length ((s sequence)) ...) 

तो आप आसानी से अपने sequence-length विधि conses का विस्तार कर सकते हैं? ज़रुरी नहीं। (or sequence cons) कहकर आप sequence-length विधि वाली चीजों को व्यक्त कर सकते हैं, लेकिन यह वास्तव में उपयोगी नहीं है।