5 :: योग इंटीजर शाब्दिक के रूप में क्यों काम करता है?

Question

दुभाषिया में 5 :: Sum Integer काम लेकिन क्यों दिया है एक

newtype NovoTipo a = NovoTipo a 

6 :: NovoTipo Integer काम नहीं करता है?

Answer 1

आप किसी भी प्रकार के लिए संख्यात्मक अक्षर लिख सकते हैं जिसमें Num उदाहरण है। Sumhas it, जबकि आपका नया प्रकार नहीं है।

आप GHCi निम्नलिखित तरीके से GeneralizedNewtypeDeriving सक्षम कर सकते हैं:

:set -XGeneralizedNewtypeDeriving 

तो फिर तुम लिख सकते हैं:

newtype NovoTipo a = NovoTipo a deriving (Num) 

और फिर 6 :: NovoTipo Integer अच्छी तरह से आपके द्वारा लिखा गया है।