polymorphic-functions

5गर्मी

1उत्तर

मैं उच्च-आदेश फ़ंक्शन कैसे लिखूं जो पॉलिफोर्फ़िक फ़ंक्शन को टाइप किए गए रैकेट में तर्क के रूप में लेते हैं?

उदाहरण के लिए, मैं map का संस्करण कैसे लिख सकता हूं जो टाइपेड रैकेट में पॉलिमॉर्फिक फ़ंक्शंस के साथ काम करेगा? मैं एक साधारण id समारोह के रूप में परिभाषित का उपयोग करें: (: id : (All (A) A -> A)) (de