एक मजेदार के बिना आवेदक

Question

मेरे पास एक प्रकार Image है जो मूल रूप से फ्लोट की सी-सरणी है। जैसे map :: (Float -> Float) -> Image -> Image, या zipWith :: (Float -> Float -> Float) -> Image -> Image -> Image जैसे कार्यों को बनाना आसान है।

हालांकि, मुझे एहसास है कि इन कार्यों के शीर्ष पर एक आवेदक उदाहरण की तरह दिखने वाला कुछ भी प्रदान करना संभव होगा, जिससे ((+) <$> image1 <*> image2) या ((\x y z -> (x+y)/z) <$> i1 <*> i2 <*> i3) जैसे अधिक लचीले पिक्सेल स्तर में हेरफेर की अनुमति मिल सके। हालांकि, निष्पक्ष दृष्टिकोण विफल रहता है, क्योंकि छवि प्रकार में फ्लोट्स के अलावा अन्य चीजें नहीं हो सकती हैं, जिससे fmap को कार्यान्वित करना असंभव हो जाता है।

इसे कैसे लागू किया जा सकता है?

Answer 1

टिप्पणियां पढ़ना, मुझे थोड़ा चिंता है कि आकार यहां कालीन के नीचे है। क्या आकार खराब होने पर एक समझदार व्यवहार है?

इस बीच, कुछ ऐसी चीजें हो सकती हैं जो आप निम्नलिखित पंक्तियों के साथ समझदारी से कर सकते हैं। यहां तक ​​कि यदि आपके सरणी पॉलिमॉर्फिक बनाने में आसान नहीं हैं, तो आप इस तरह के Applicative उदाहरण बना सकते हैं।

data ArrayLike x = MkAL {sizeOf :: Int, eltOf :: Int -> x} 

instance Applicative ArrayLike where 
    pure x     = MkAL maxBound (pure x) 
    MkAL i f <*> MkAL j g = MkAL (min i j) (f <*> g) 

(उत्साही नोट करेंगे कि मैं (maxBound, min) monoid से प्रेरित है कि साथ (Int ->) अनुप्रयोगी के उत्पाद कर लिया है।)

आप एक साफ पत्राचार कर सका

imAL :: Image -> ArrayLike Float 
alIm :: ArrayLike Float -> Image 

प्रक्षेपण और सारणीकरण द्वारा

? यदि ऐसा है, तो आप इस तरह कोड लिख सकते हैं।

alIm $ (f <$> imAL a1 <*> ... <*> imAL an) 

इसके अलावा, अगर आप तो, उस पैटर्न लपेट के लिए एक ओवरलोड ऑपरेटर के रूप में

imapp :: (Float -> ... -> Float) -> (Image -> ... -> Image) 

चाहते हैं कि उसे typeclass प्रोग्रामिंग में एक मानक व्यायाम है! (पूछें कि आपको अधिक संकेत की आवश्यकता है या नहीं।)

महत्वपूर्ण बिंदु यह है कि रैपिंग रणनीति का मतलब है कि आपको शीर्ष पर कार्यात्मक अधिरचना लगाने के लिए अपने सरणी संरचनाओं के साथ बंदर की आवश्यकता नहीं है।

Answer 2

आप छवि में पिक्सेल पर संचालन करने की अपेक्षा कैसे करेंगे? यही है, ((+) <$> image1 <*> image2) के लिए, क्या आप हास्केल में सभी परिचालन करना चाहते हैं और एक नई परिणामी छवि का निर्माण करना चाहते हैं, या आपको सभी प्रसंस्करण करने के लिए सी फ़ंक्शंस को कॉल करना होगा?

यदि यह पूर्व है, तो पिगवर्कर का जवाब वह दृष्टिकोण है जो मैं लेता हूं।

यदि इसके बजाय यह आवश्यक है कि सभी छवि कुशलताएं सी के माध्यम से संभाली जाए, तो संचालन का प्रतिनिधित्व करने के लिए एक छोटा डीएसएल कैसे बनाया जाए?

Answer 3

यदि आप Float से "पिक्सेल" प्रकार सामान्यीकरण और परिमित & असतत डोमेन (सरणियों) से विस्तार & निरंतर डोमेन अनंत एक बहुत अधिक compositional Image प्रकार मिल जाएगा। इन सामान्यीकरणों के प्रदर्शन के रूप में, पेपर Functional Images और example images की परिमित नमूना (संबंधित नमूना) देखें। परिणामस्वरूप, आपको Monoid, Functor, Applicative, Monad, और Comonad के उदाहरण मिलते हैं। इसके अलावा, इन उदाहरणों का अर्थ पूरी तरह से कार्यों के लिए संबंधित उदाहरणों द्वारा निर्धारित किया जाता है, जो टाइप क्लास morphisms के सिद्धांत को संतुष्ट करते हैं, जैसा पेपर Denotational design with type class morphisms में वर्णित है। उस पेपर की धारा 13.2 संक्षेप में इमेजरी का वर्णन करती है।