टस्कल्स के अंदर हास्केल तीर

Question

मैं एक ट्यूपल को क्रेट करना चाहता हूं, जिसमें एक तीर और तीर है जो तीर का वर्णन करती है।

funTimes10 = (*10) 
describe10 = "times 10" 

tuple10 :: (Num b) => ((b -> b), String) 
tuple10 = (,) funTimes10 describe10 

मैं fst साथ समारोह का उपयोग कर सकते हैं, और snd साथ मैं समारोह का वर्णन स्ट्रिंग प्राप्त: अगर मैं कार्यों (तीर के बजाय), निम्न कार्य करता उम्मीद की तरह साथ ऐसा करते हैं।

हालांकि, अगर मैं निम्नलिखित में ऐरो से समारोह का आदान-प्रदान, जैसे:

aTuple10 :: (Arrow a, Num b) => (a b b, String) 
aTuple10 = (,) (arr funTimes10) describe10 

• fst अभी भी काम करता है और मेरी तीर दिखाए, लेकिन
• मैं के साथ किसी भी वर्णन स्ट्रिंग नहीं मिलता है snd।

मैं केवल इस त्रुटि-संदेश मिला:

Ambiguous type variable `a0' in the constraint: 
    (Arrow a0) arising from a use of `aTuple10' 
Probable fix: add a type signature that fixes these type variable(s) 
In the first argument of `snd', namely `aTuple10' 
In the expression: (snd aTuple10) 
In an equation for `it': it = (snd aTuple10) 

मैं इस त्रुटि क्यों मिलता है, और मुझे क्या करना चाहिए, यह से बचने के लिए? snd के प्रकार पर

Answer 1

आइए नज़र:

snd :: (foo, x) -> x 

(मैं स्पष्टता के लिए प्रकार चर का नाम बदला) किस तरह के कथन कहता है कि प्रकार foo और x के साथ एक टपल के लिए, वापसी के बारे में कुछ x टाइप करें। यहां जानना महत्वपूर्ण है कि मूल्य प्रणाली उर्फ। हास्केल में रनटाइम आलसी है, हास्केल की टाइप सिस्टम सख्त है, जिसका अर्थ यह है कि foo और x दोनों प्रकार snd से पहले ज्ञात होना चाहिए।

पहला मामला है, जब तुम सिर्फ एक Num b => (b -> b, String) है, snd बुला b अस्पष्ट छोड़ देंगे, क्योंकि आप अपने ठोस प्रकार कहीं भी उल्लेख नहीं है, और यह वापसी प्रकार से नहीं लगाया जा सकता क्योंकि foo ~ b जो अलग है x से। दूसरे शब्दों में: क्योंकि (b, b)कोई संख्या प्रकार का एक टुपल हो सकता है, और प्रकार चेकर यह पता नहीं लगा सकता कि यह कौन सा है, यह संदिग्ध है। यहां की चाल यह है कि हमारे पास हास्केल के डिफ़ॉल्ट नियमों को लात मार दिया जाएगा, जो बताता है कि यदि एक संख्यात्मक प्रकार संदिग्ध है, तो इसे Integer पर डिफ़ॉल्ट होना चाहिए। अगर आपने -Wall के साथ चेतावनियां चालू की हैं, तो यह कहा होगा कि यह हो रहा है। तो, हमारा प्रकार (Integer -> Integer, String) और snd कहा जा सकता है।

दूसरे मामले में, हालांकि, हम अभी भी दोषी नियमों के माध्यम से b का अनुमान लगा लेते हैं, लेकिन कोई डिफ़ॉल्ट a के लिए Arrow है, इसलिए हम अटक रहे हैं! जारी रखने के लिए आपको स्पष्ट रूप से निर्दिष्ट करना होगा कि आप कौन सा तीर चाहते हैं! आप पहली बार कहीं और aTuple10 के एक मूल्य का उपयोग करके ऐसा या तो कर सकते हैं:

let bla = aTuple10 -- We do this because `aTuple10` can have type variables, but `bla` cannot (by default) 
fst bla (23 :: Int) -- This fixes the type of `bla`, so that `a ~ (->)` and `b ~ Int` 
print $ snd bla  -- So the arrow isn't ambiguous here 

...या यदि आप बस प्रकार है कि आप चाहते हैं निर्दिष्ट कर सकते हैं:

print $ snd (aTuple10 :: (Int -> Int, String)) 

पुनश्च आप अस्पष्ट संख्या के डिफ़ॉल्ट प्रकार को बदलना चाहते हैं, default keyword आप मदद कर सकते हैं।

Answer 2

मैं इस संकलन करने की कोशिश की:

import Control.Arrow 

funTimes10 = (*10) 
describe10 = "times 10" 

tuple10 :: (Num b) => ((b -> b), String) 
tuple10 = (,) funTimes10 describe10 

aTuple10 :: (Arrow a, Num b) => (a b b, String) 
aTuple10 = (,) (arr funTimes10) describe10 

लेकिन मैं इस मिल:

Could not deduce (b ~ Integer) 
from the context (Arrow a, Num b) 
    bound by the type signature for 
      aTuple10 :: (Arrow a, Num b) => (a b b, String) 
    at D:\dev\haskell\arr_tuple.hs:10:1-42 
    `b' is a rigid type variable bound by 
     the type signature for 
     aTuple10 :: (Arrow a, Num b) => (a b b, String) 
     at D:\dev\haskell\arr_tuple.hs:10:1 
Expected type: b -> b 
    Actual type: Integer -> Integer 
In the first argument of `arr', namely `funTimes10' 
In the first argument of `(,)', namely `(arr funTimes10)' 

तो, मेरा अनुमान है कि आप जो तीर उदाहरण आप उपयोग करना चाहते तय की जरूरत है। अर्थात। आपको एनोटेशन के साथ ठोस प्रकार arr funTimes निर्दिष्ट करने की आवश्यकता हो सकती है।