টাইপ সিস্টেম — স্ট্যাটিক বনাম ডায়নামিক টাইপিং

# toy AST নোড: ('num', v) | ('str', v) | ('binop', op, left, right) | ('if', cond, then_branch, else_branch)

def static_type_of(node):
    """স্ট্যাটিক চেকার — পুরো ট্রি (উভয় if-শাখা সহ) আগেভাগে যাচাই করে, প্রোগ্রাম চলার আগেই।"""
    kind = node[0]
    if kind == 'num':
        return 'int'
    if kind == 'str':
        return 'str'
    if kind == 'binop':
        _, op, left, right = node
        lt = static_type_of(left)
        rt = static_type_of(right)
        if op == '+' and lt == 'int' and rt == 'int':
            return 'int'
        if op == '+' and lt == 'str' and rt == 'str':
            return 'str'
        raise TypeError(f"[স্ট্যাটিক] টাইপ মিসম্যাচ: '{op}' {lt} ও {rt}-এর মধ্যে প্রযোজ্য নয়")
    if kind == 'if':
        _, cond, then_branch, else_branch = node
        # গুরুত্বপূর্ণ: স্ট্যাটিক চেকার cond-এর ভ্যালু না জেনেই উভয় শাখা চেক করে!
        then_t = static_type_of(then_branch)
        else_t = static_type_of(else_branch)
        if then_t != else_t:
            raise TypeError(f"[স্ট্যাটিক] if-এর দুই শাখার টাইপ ভিন্ন: {then_t} বনাম {else_t}")
        return then_t
    raise ValueError(f"অজানা নোড: {node}")


def dynamic_eval(node):
    """ডায়নামিক ইভালুয়েটর — শুধু যে শাখা আসলে এক্সিকিউট হয় সেটিই চেক ও ইভালুয়েট করে।"""
    kind = node[0]
    if kind == 'num':
        return node[1]
    if kind == 'str':
        return node[1]
    if kind == 'binop':
        _, op, left, right = node
        lv = dynamic_eval(left)
        rv = dynamic_eval(right)
        if op == '+' and isinstance(lv, int) and isinstance(rv, int):
            return lv + rv
        if op == '+' and isinstance(lv, str) and isinstance(rv, str):
            return lv + rv
        raise TypeError(f"[ডায়নামিক] রানটাইম টাইপ এরর: {lv!r} + {rv!r}")
    if kind == 'if':
        _, cond, then_branch, else_branch = node
        # গুরুত্বপূর্ণ: শুধু cond অনুযায়ী নির্বাচিত শাখাটিই ইভালুয়েট হয় -- অন্যটি কখনো ছোঁয়াই হয় না!
        return dynamic_eval(then_branch) if cond else dynamic_eval(else_branch)
    raise ValueError(f"অজানা নোড: {node}")


# প্রোগ্রাম: if False then ("hello" + 5) [টাইপ-মিসম্যাচড, কিন্তু কখনো চলবে না] else (3 + 4)
program = ('if', False,
           ('binop', '+', ('str', "hello"), ('num', 5)),   # then-শাখা: মিসম্যাচড, অচল
           ('binop', '+', ('num', 3), ('num', 4)))          # else-শাখা: সঠিক, এটাই চলবে

print("প্রোগ্রাম: if False then (\"hello\"+5) else (3+4)\n")

print("--- স্ট্যাটিক চেকার (উভয় শাখা আগেভাগে চেক করে) ---")
try:
    t = static_type_of(program)
    print(f"গৃহীত, ফলাফল টাইপ: {t}")
except TypeError as e:
    print(f"বাতিল! {e}")

print("\n--- ডায়নামিক ইভালুয়েটর (শুধু চলমান শাখা চেক করে) ---")
try:
    v = dynamic_eval(program)
    print(f"সফলভাবে চলল, ফলাফল: {v}")
except TypeError as e:
    print(f"রানটাইম এরর! {e}")