जीएचसी प्रकार अनुमान वज़न

Question

प्रश्न। क्या इस कोड को स्पष्ट प्रकार के हस्ताक्षर के बिना काम करने का कोई तरीका है?

कोड। सबसे पहले, मेरे पास Data.Newtype से प्रेरित, एक अभ्यास-बहुत-अच्छा वैकल्पिक MonadTrans वर्ग है। यह तो इस तरह दिखता है,

{-# LANGUAGE FlexibleContexts, TypeFamilies #-} 

module Alt.Control.Monad.Trans where 

import Control.Monad 

class (Monad , Monad (BaseMonad)) => MonadTrans (:: * -> *) where 
    type BaseMonad :: * -> * 
    lift :: (BaseMonad) α -> α 

, मैं विधि foo के साथ एक कक्षा A है, और यदि कुछ आधार इकाई M एक A है, तो किसी भी तब्दील इकाई T M भी एक A है। कोड में,

class A where 
    foo :: String -> () 

instance (A (BaseMonad), MonadTrans) => A where 
    foo n = lift $ foo n 

हालांकि, अगर मैं अब अपनी पहली तर्क प्रतिस्थापित साथ foo के लिए एक शॉर्टकट बनाना चाहते हैं, तो मैं एक स्पष्ट प्रकार हस्ताक्षर, या संकलक के संदर्भ ढेर अतिप्रवाह की जरूरत है।

minimize_call :: A => () 
minimize_call = foo "minimize" 

संभव जानकारी अनुमान में मदद करेगा। मान लें कि हमारे पास एक संबद्ध प्रकार B :: * -> * है। मैं सोच रहा हूं कि मैं संकलक B को B t /= t, B (B t) /= B t इत्यादि को संतुष्ट करता हूं यानी B किसी भी तरह "monotonic" है - जो संबंधित प्रकार का पीछा करते हैं, नए प्रकार के रैपर को हटाने के बराबर है, और यह जानना चाहिए कि यह हमेशा के लिए नए प्रकार के रैपर को नहीं हटा सकता , इसलिए हस्ताक्षर के लिए संदर्भ A जोड़ना जरूरी है।

Answer 1

हाँ, एक तरीका है। A के लिए एक ग्राउंड उदाहरण प्रदान करें, और भाषा प्रागमा में NoMonomorphismRestriction जोड़ें (FlexibleInstances और UndecidableInstances के अतिरिक्त भी)।

हालांकि, A कक्षा अनुपयोगी होगी। कंपाइलर को यह जानने का कोई तरीका नहीं है कि MonadTrans उदाहरण BaseMonad m = m के साथ कभी भी नहीं होगा। इस प्रकार यह कभी भी एक उदाहरण का चयन नहीं कर सकता है, क्योंकि यह नहीं पता कि यहां या किसी अन्य से उदाहरण का उपयोग करना है या नहीं।

{-# LANGUAGE FlexibleContexts, TypeFamilies, FlexibleInstances, UndecidableInstances, NoMonomorphismRestriction #-} 

module Trans (MonadTrans(..), A(..), minimize_call) where 

import Control.Monad 

class (Monad m, Monad (BaseMonad m)) => MonadTrans (m :: * -> *) where 
    type BaseMonad m :: * -> * 
    lift :: (BaseMonad m) α -> m α 

class A m where 
    foo :: String -> m() 


data Foo a = Bork 

instance Monad Foo where 
    return _ = Bork 
    _ >>= _ = Bork 

instance A Foo where 
    foo _ = Bork 


instance (A (BaseMonad m), MonadTrans m) => A m where 
    foo n = lift $ foo n 

-- minimize_call :: A m => m() 
minimize_call = foo "minimize" 

ghc 6.12, 7.0, 7.2 और 7.4 के साथ संकलित करता है। हस्ताक्षर के बिना, minimize_call एक मोनोमोर्फिक प्रकार प्राप्त करना चाहिए, जब तक एमआर बंद नहीं हो जाता है। यह वैसे भी काम नहीं कर सकता क्योंकि बाधा A m डिफ़ॉल्ट नहीं है। तो इसलिए एमआर बंद कर दिया जाना चाहिए। लेकिन फिर टाइपर चेकर अभी भी अपनी खुद की पूंछ का पीछा करता है ताकि बाधा साबित हो सके संतोषजनक हो। केवल उठाने के उदाहरण के साथ, यह नहीं कर सकता है। यदि आप एक एंकर प्रदान करते हैं, तो यह कर सकता है।

लेकिन एक प्रकार का हस्ताक्षर प्रदान करना बहुत बेहतर है।