जीएचसीआई का उपयोग करते समय कार्यों के लिए स्पष्ट प्रकार की घोषणाएं कैसे प्रदान करें?

Question 1

मैं GHCi के अंदर इस फ़ंक्शन ( learnyouahaskell से लिया गया ) के बराबर कैसे परिभाषित करूं ?

import Data.List  

numUniques :: (Eq a) => [a] -> Int  
numUniques = length . nub

प्रकार की घोषणा के बिना, GHCi फ़ंक्शन परिभाषा को स्वीकार करता है, लेकिन यह एक अनहेल्दी प्रकार के साथ समाप्त होता है:

Prelude Data.List> import Data.List 
Prelude Data.List> let numUniques' = length . nub
Prelude Data.List> :t numUniques'
numUniques' :: [()] -> Int

परिणामी फ़ंक्शन केवल एक पैरामीटर के रूप में इकाइयों की सूची को स्वीकार करता है।

क्या जीएचसीआई में एक तरह से घोषणाएं उपलब्ध हैं? या फिर इन जैसे कार्यों को परिभाषित करने का एक और तरीका है जिसके लिए प्रकार की घोषणाओं की आवश्यकता नहीं है?

मैंने GHCi गाइड में कोई स्पष्ट सुराग नहीं देखा, और निम्न (कोई फायदा नहीं हुआ) जैसे भावों के साथ प्रयोग किया:

> let numUniques' = ((length . nub) :: (Eq a) => [a] -> Int)
> :t numUniques'
numUniques' :: [()] -> Int

Question 2

क्या जीएचसीआई में एक तरह से घोषणाएं उपलब्ध हैं?

let numUniques' :: (Eq a) => [a] -> Int; numUniques' = length . nub

या फिर इन जैसे कार्यों को परिभाषित करने का एक और तरीका है जिसके लिए प्रकार की घोषणाओं की आवश्यकता नहीं है?

यदि आप मोनोमोर्फिज्म प्रतिबंध को बंद कर देते हैं -XNoMonomorphismRestriction, तो यह सही प्रकार का अनुमान लगाएगा।

Question 3

ध्यान दें कि आप अपनी अभिव्यक्ति में केवल "अंक" (यानी स्पष्ट चर) जोड़कर मोनोमोर्फिस्म प्रतिबंध से बच सकते हैं। तो यह भी सही प्रकार देता है:

संख्याओं को x = लंबाई दें। नब $ x

Question 4

GHC उपयोगकर्ता की मार्गदर्शिका इसे प्राप्त करने के दो अतिरिक्त तरीके दिखाती है। इस उपधारा का परिचय :{... :}निर्माण, जो निम्नानुसार किया जा सकता है:

> :{
| numUniques :: (Eq a) => [a] -> Int
| numUniques = length . nub
| :}

वैकल्पिक रूप से, आप मल्टीलाइन मोड को सक्षम कर सकते हैं :

> :set +m
> let
| numUniques :: (Eq a) => [a] -> Int
| numUniques = length . nub
|