क्या इनपुट के आधार पर किसी फ़ंक्शन के लिए इनट्स या स्ट्रिंग्स को वापस करने का कोई तरीका है?

मुझे यह होमवर्क असाइनमेंट मिला है (होमवर्क टैग नहीं जोड़ा जा सका)। यह सिर्फ एक प्रशिक्षण समस्या है, हाथ में लेने का हिस्सा नहीं है। मैंने एक पुनरावर्ती फ़ंक्शन "eval" बनाया है जो पूर्णांक (+, -, *, /) पर सामान्य संचालन का मूल्यांकन करता है, अब तक, फ़ंक्शन जोड़, गुणा और घटाव का मूल्यांकन कर सकता है।

type expr =
    | Const of int
    | Add of expr * expr
    | Mul of expr * expr
    | Sub of expr * expr

let rec eval (n: expr): int =
    match n with
        | Const n -> n
        | Add (a, b) -> eval a + eval b
        | Mul (a, b) -> eval a * eval b
        | Sub (a, b) -> eval a - eval b

यह फ़ंक्शन पूरी तरह से काम करता है। इसके बाद मुझे विभाजन के लिए अनुमति देने के लिए, expr प्रकार का विस्तार करना होगा:

| Div of expr * expr

इसके अलावा मुझे एक नया प्रकार बनाकर शून्य विभाजन के मामले से निपटने की जरूरत है:

('a, 'b) result

Eval का नया रिटर्न प्रकार कौन सा है (यह असाइनमेंट विवरण में है, इसलिए मुझे यह करना होगा)। यह मेरा प्रयास है:

type ('a, 'b) result =
    | Ok of int
    | Err of string

let rec eval (n: expr): ('a, 'b)result =
    match n with
        | Const n -> Ok(Const n)
        | Add (a, b) -> Ok(eval a + eval b)
        | Mul (a, b) -> OK(eval a * eval b)
        | Sub (a, b) -> Ok(eval a - eval b)
        | Div (_, Const 0) -> Err "zero division"
        | Div (a, b) -> Ok(eval a / eval b)

लेकिन मुझे यह कहते हुए एक त्रुटि मिलती है कि ऑपरेटरों +, -, * और / को प्रकार ('ए,' बी) परिणाम के लिए परिभाषित नहीं किया गया है, जो समझ में आता है। तो मेरा सवाल यह है कि क्या किसी नए प्रकार के अन्य प्रकारों से प्राप्त करने का कोई तरीका है? मैं कुछ ऐसा टाइप नहीं कर सकता:

type ('a, 'b) result =
    | int
    | Err of string

वह बात क्यों नहीं है? क्या मुझे कुछ कीवर्ड निर्दिष्ट करने हैं, इसलिए यदि मैं एक नए प्रकार में int का उपयोग करता हूं, तो int से संबद्ध रहें? एफ # वही आउटपुट प्रकार चाहता है, इनपुट से कोई फर्क नहीं पड़ता, क्या इसके आसपास कोई रास्ता है? क्या मैं फ़ंक्शन को बता सकता हूं कि आउटपुट या तो एक पूर्णांक या एक स्ट्रिंग है, अगर मैंने नया प्रकार नहीं बनाया है?