हास्केल प्रकार समानार्थी

Question

मैं समझने की कोशिश कर रहा हूं कि यसोड से निम्नलिखित प्रकार का समानार्थी क्या कर रहा है।

type HtmlUrlI18n msg url = Translate msg -> Render url -> Html

मैं में एक उदाहरण नहीं मिल सकता है आप कुछ Haskell या -> वर्तमान के साथ एक प्रकार का पर्याय की Haskell wikibook सीखते हैं। किसी भी लिंक या स्पष्टीकरण की बहुत सराहना की जाती है। धन्यवाद।

Answer 1

यह सिर्फ एक (लम्बाई लिखने के लिए) के लिए समानार्थी है। उदाहरण के लिए, निम्नलिखित मान्य होना चाहिए Haskell

--Example of a function type synonym 
type StrFn = String -> String 

foo :: StrFn 
foo s = s ++ "!" 

--Example of a function type synonym with type parameters 
type Fn a = a -> a 

bar :: Fn String 
bar s = s ++ "?"