निर्धारित करें कि क्या एक मूल्य के हास्केल में एक समारोह है

Question

यह संभव एक समारोह isFunc :: a -> Bool लिखने के लिए निर्धारित करने के लिए कि

foo :: Int -> Int 
bar :: Char -> Char -> Char  

> isFunc foo 
True 
> isFunc bar 
True 
> isFunc 3 
False 
> isFunc 'a' 
False 

मैं Data.Dynamic तो मैं उपयोग कर रहा हूँ एक मनमाना मूल्य एक समारोह (किसी भी प्रकार की) है कि क्या इस तरह है अग्रिम में प्रकार निर्धारित नहीं कर सकते हैं।

Answer 1

पैरामैट्रिकिटी नो कहते हैं।

a -> Bool 

का एकमात्र कार्य निरंतर कार्य है।

हालांकि, तदर्थ बहुरूपता का एक सा और थोड़ा अधिक chutzpah के साथ, आप ऐसा कर सकते हैं:

{-# LANGUAGE OverlappingInstances, FlexibleInstances #-} 

class Sick x where 
    isFunc :: x -> Bool 

instance Sick (a -> b) where 
    isFunc _ = True 

instance Sick x where 
    isFunc _ = False 

और फिर इसे जैसे आप

*Sick> isFunc 3 
False 
*Sick> isFunc id 
True 

है लग रहा है लेकिन यह की तरह प्रतीत होता है करने के लिए एक अनोखी बात है। परिणामस्वरूप Bool आपके लिए क्या उपयोग है?

Answer 2

आप क्या पूछ रहे हैं और Data.Dynamic के साथ आपको क्या करना है, यह अलग-अलग चीजें हैं। आपको fromDyn/fromDynamic के साथ निकालने से पहले सटीक प्रकार के मूल्य को जानने की आवश्यकता है। निर्धारित करने के लिए एक समारोह Dynamic मूल्य आप TypeRep विश्लेषण करने की जरूरत होती है:

isFuncDynamic x = typeRepTyCon (dynTypeRep x) == typeRepTyCon (typeOf2 id) 

(मुझे माफ कर दो अगर यह सबसे संक्षिप्त कार्यान्वयन नहीं है।)