हास्केल अनंत प्रकार और मेरा एफएसएम फ़ंक्शन

Question

जब मैं एक सीमित राज्य मशीन लिखने का प्रयास कर रहा था तो मैं हास्केल में "अनंत प्रकार" में आया हूं। मैंने सोचा था कि निम्नलिखित बहुत सहज ज्ञान युक्त था:

fsm []  _  acc = Right acc 
fsm (x:xs) state acc = 
    case state acc x of 
     Left err  -> Left err 
     Right (s, a) -> fsm xs s a 

मैं राज्य समारोह वर्तमान स्थिति (संचायक) और नई घटना देते हैं, और राज्य समारोह नई संचायक के साथ अगले राज्य समारोह पैदा करता है। मैं तब तक रिकर्स करता हूं जब तक मेरे पास कोई और घटना न हो।

संकलक मुझसे कहता है:

Occurs check: cannot construct the infinite type: 
    t1 = b0 -> t0 -> Either a0 (t1, b0) 
In the second argument of `fsm', namely `s' 

क्योंकि state अब एक अनंत प्रकार है। इसे काम करने के लिए मैं इसे पुनर्व्यवस्थित कैसे करूं?

Answer 1

इस प्रकार के प्रकार के साथ इस प्रकार के विनाश की तरह असीमित प्रकार; वे इसे असुरक्षित नहीं बनाते हैं, लेकिन वे प्रोग्रामों का एक बड़ा हिस्सा चुनते हैं जिन्हें आप वास्तव में नहीं करना चाहते हैं, इस प्रकार त्रुटियों को छुपाते हैं, और मेरा मानना ​​है कि वे टाइप अनुमान को भी कठिन बनाते हैं।

शुक्र है, समाधान सरल है: आपको बस newtype रैपर बनाने की आवश्यकता है। data और newtype घोषणाओं को निश्चित रूप से रिकर्सिव होने की अनुमति है (अन्यथा, हम सूचियां भी परिभाषित नहीं कर सके!); यह सिर्फ सादे, अनचाहे प्रकार हैं जो नहीं हैं।

newtype FSMState err acc ev = 
    FSMState { stepFSM :: acc -> ev -> Either err (FSMState err acc ev, acc) } 

fsm :: [ev] -> FSMState err acc ev -> acc -> Either err acc 
fsm []  _  acc = Right acc 
fsm (x:xs) state acc = 
    case stepFSM state acc x of 
     Left err  -> Left err 
     Right (s, a) -> fsm xs s a