फ़ंक्शंस के लिए कोई शो उदाहरण क्यों नहीं है?

Question

बस एक त्वरित वैचारिक सवाल है, मैं वर्तमान में हास्केल को बेहतर तरीके से सीखने और समझने की कोशिश कर रहा हूं।

मुझे पता है कि शो फ़ंक्शन का उपयोग तारों को स्ट्रिंग में बदलने के लिए किया जाता है, लेकिन शो के साथ फ़ंक्शन प्रकार का उपयोग क्यों नहीं किया जा सकता है?

Prelude> (\x -> x*3) 

<interactive>:7:1: 
    No instance for (Show (a0 -> a0)) 
     arising from a use of `print' 
    Possible fix: add an instance declaration for (Show (a0 -> a0)) 
    In a stmt of an interactive GHCi command: print it 
Prelude> 

Answer 1

ऐसा नहीं है कि वे नहीं कर सकते हैं, लेकिन आमतौर पर इसका कोई अच्छा कारण नहीं है।

लेकिन अगर आप चाहें, तो आप निश्चित रूप से कर सकते हैं:

Prelude> :{ 
Prelude| instance Show (a -> b) where 
Prelude| show _ = "A function." 
Prelude| :} 
Prelude> print (\x -> x + 7) 
A function. 
Prelude> print (\a b c -> a + b + c) 
A function. 

आप समारोह का शाब्दिक प्रतिनिधित्व show करना चाहते हैं तो, अच्छी तरह से - आप ऐसा नहीं कर सकते। रूबी, जेएस, इत्यादि जैसे मेटाप्रोग्रामिंग भाषाओं के विपरीत, हास्केल कोड अपने आंतरिकों का बहुत कम ज्ञान है।

Answer 2

show समारोह है कि कार्यों कि Show typeclass के सदस्य हैं पर परिभाषित किया जाता है (यदि आप नहीं जानते कि एक typeclass है, यह एक OOP इंटरफ़ेस की तरह थोड़े है)।

डिफ़ॉल्ट रूप से, फ़ंक्शन टाइपक्लास के सदस्य नहीं हैं, इसलिए हम उन्हें प्रिंट नहीं कर सकते हैं।

हम इसे

instance Show (a -> b) where 
    show f = "Unicorns!!" 

साथ typeclass के एक सदस्य बना सकता है, लेकिन यहाँ हम पता है क्यों यह डिफ़ॉल्ट रूप से लागू नहीं है। कार्यों का एक सरल, स्पष्ट प्रतिनिधित्व नहीं है और हैकेल अनुमान लगाना नहीं चाहता है, और इस प्रकार कोई उदाहरण नहीं है।

एकमात्र "अनुमत" उदाहरण एक ऐसा होगा जो वास्तव में कार्य को प्रिंट करता है, लेकिन इसके लिए वास्तविक भाषा परिवर्तन की आवश्यकता होगी, यानी यह संकलक में कड़ी मेहनत की जाएगी, जो कि कुछ मामलों के लिए उपयुक्त नहीं है यह उपयोगी हो सकता है।

इसके अलावा अधिक यह एक nontrivial संकलक परिवर्तन है, हास्केल संकलित किया गया है जो f = g और

f =    g 

की तरह कुछ के बीच मतभेदों को पूरी तरह से इस पर खो रहे हैं मतलब है। लेकिन आप निश्चित रूप से अपने समारोह के प्रतिनिधित्व में चाहते हैं। इस वजह से, आपको कार्यक्रम के माध्यम से इस स्ट्रिंग के चारों ओर घूमना होगा। यह निश्चित रूप से नहीं है कि आप बाइनरी में क्या चाहते हैं।

यदि आप वाकई इसे यूनिकोरन्स प्रिंट करना चाहते हैं !! हालांकि, नि: शुल्क महसूस करें।

Answer 3

एक आंशिक समाधान है जो डेटा का उपयोग कर सभी कार्यों के लिए केवल एक निश्चित स्ट्रिंग से परे चला जाता है। टाइप करने योग्य।

{-# LANGUAGE ScopedTypeVariables #-} 

import Data.Typeable 

instance (Typeable a, Typeable b) => Show (a->b) where 
    show _ = show $ typeOf (undefined :: a -> b) 

GHCi

> let test :: Int->Int; test x = x + x 
> test 
Int -> Int 

में

दुर्भाग्य से एक प्रकार हस्ताक्षर के बिना प्रकार यह डिफ़ॉल्ट के लिए जाना जाएगा।

> let test x = x + x 
> test 
Integer -> Integer 

यह समाधान कई समारोह arities पर काम करता है क्योंकि a -> b -> ca -> (b -> c) के रूप में ही है जो आप के रूप में अच्छी a -> d जहां d = b -> c के रूप में लिख सकते हैं है।

> let m10 a b c d e f g h i j = a * b * c * d * e * f * g * h* i * j 
> m10 
Integer -> Integer -> Integer -> Integer -> Integer -> Integer -> Integer 
     -> Integer -> Integer -> Integer -> Integer 

इस विधि हालांकि काम नहीं करता है जब यह अज्ञात है अगर समारोह के मापदंडों typeable वर्ग तथापि है इसलिए जब map (+1) काम करेंगे map नहीं होगा।

> map (+1) 
[Integer] -> [Integer] 
> map 

<interactive>:233:1: 
... 

Data.Data के आंतरिक भागों और एक प्रयोग या दो पर एक नज़र में करने के बाद ऐसा लगता है जैसे कि यह एक छोटे से अधिक सामान्यीकृत कवर अधिक कार्यों होने के लिए पुनर्संशोधित जा सकता है।