নেম, ভ্যারিয়েবল ও বাইন্ডিং

১ · বাইন্ডিং কী

বাইন্ডিংBindingএকটি নেম-এর সাথে কোনো অ্যাট্রিবিউট — টাইপ, ভ্যালু, মেমরি লোকেশন বা অপারেশন — এর association। প্রোগ্রামিং ল্যাঙ্গুয়েজ থিওরিতে একটি deliberately general concept। হলো একটি নেমএকটি প্রোগ্রামে ব্যবহৃত পরিচয়সূচক টেক্সট — ভ্যারিয়েবল, ফাংশন, কীওয়ার্ড, অপারেটর — সবকিছুরই একটি নেম আছে।-এর সাথে কোনো একটি অ্যাট্রিবিউট-এর association। বেশিরভাগ প্রোগ্রামার যখন "বাইন্ডিং" শোনেন, তখন প্রথমেই মনে করেন "ভ্যারিয়েবল = ভ্যালু" — কিন্তু এটি একটি অনেক বেশি সাধারণ (general) ধারণা। M6-এর সিম্বল টেবিল (L28-L29) একটি কম্পাইলার কীভাবে এই বাইন্ডিংগুলো ভিতরে ভিতরে ট্র্যাক করে তা দেখিয়েছিল — এই পাঠ থেকে আমরা প্রশ্নটাকে উল্টে দিচ্ছি: একজন ভাষা-ডিজাইনার নেম-বাইন্ডিং নিয়ে ঠিক কী কী সিদ্ধান্ত নিতে পারেন, এবং সেই সিদ্ধান্তগুলোর পরিণতি কী।

কয়েকটি উদাহরণ দেখলে "বাইন্ডিং" ধারণাটির ব্যাপ্তি স্পষ্ট হয় —

• ভ্যারিয়েবল বাইন্ডিং: নেম x একটি নির্দিষ্ট মেমরি লোকেশনে বাইন্ড হয়, এবং সেই লোকেশন একটি ভ্যালুতে বাইন্ড হয়।
• অপারেটর বাইন্ডিং: নেম + "addition" অপারেশনে বাইন্ড হয় — এটি ভাষা ডিজাইন করার সময়ই ঠিক হয়ে যায়।
• কীওয়ার্ড বাইন্ডিং: নেম if একটি নির্দিষ্ট সিলেকশন-কন্ট্রোল সিমান্টিক্সে বাইন্ড হয়।
• টাইপ বাইন্ডিং: নেম x একটি নির্দিষ্ট টাইপে (যেমন int) বাইন্ড হতে পারে।

২ · বাইন্ডিং টাইম

বাইন্ডিং টাইমBinding Timeযে মুহূর্তে একটি নেম-অ্যাট্রিবিউট association নির্ধারিত হয় — যত আগে বাইন্ডিং হয়, তত কম নমনীয়তা কিন্তু তত কম রানটাইম খরচ। হলো ঠিক কোন মুহূর্তে একটি বাইন্ডিং নির্ধারিত হয়। প্রথম থেকে শেষ পর্যন্ত চারটি স্তর —

৩ · স্ট্যাটিক বনাম ডায়নামিক বাইন্ডিং

একটি স্ট্যাটিক বাইন্ডিং রান টাইম শুরু হওয়ার আগেই ফিক্সড হয়ে যায় এবং এক্সিকিউশনের সময় আর বদলায় না। একটি ডায়নামিক বাইন্ডিং প্রোগ্রাম চলাকালীন বদলাতে পারে। লক্ষ্য করুন — বাইন্ডিং টাইমের চারটি স্তরের মধ্যে "রান টাইম"-এর আগের তিনটি (ডিজাইন/কম্পাইল/লোড টাইম) সবসময় স্ট্যাটিক, কিন্তু রান-টাইম বাইন্ডিং স্ট্যাটিক অথবা ডায়নামিক দুটোই হতে পারে — যেমন একটি ভ্যারিয়েবলের ভ্যালু বাইন্ডিং সাধারণত ডায়নামিক (assignment দিয়ে বদলানো যায়), কিন্তু একটি const ভ্যারিয়েবলের ভ্যালু রান টাইমে একবার বাইন্ড হয়ে আর বদলায় না।

৪ · কোড: বাইন্ডিং টাইম অনুসারে sort করা

নিচের কোড সেলে আমরা একটি ছোট্ট Binding রেকর্ড টাইপ বানাব (নেম, অ্যাট্রিবিউট, বাইন্ডিং টাইম), এরপর চারটি বাইন্ডিং টাইমের একটি করে উদাহরণ যোগ করে সময়ানুসারে (আগে থেকে পরে) sort করব — যাতে পুরো স্পেকট্রামটি একসাথে চোখে পড়ে।

from collections import namedtuple

Binding = namedtuple("Binding", ["name", "attribute", "binding_time"])

# বাইন্ডিং টাইমের ক্রম -- সংখ্যা যত ছোট, তত আগে ফিক্সড হয়
BINDING_TIME_ORDER = {
    "language_design_time": 0,
    "compile_time": 1,
    "load_time": 2,
    "run_time": 3,
}

bindings = [
    Binding("+", "addition_operation", "language_design_time"),
    Binding("if", "selection_keyword", "language_design_time"),
    Binding("x", "int", "compile_time"),
    Binding("global_counter", "0x4000", "load_time"),
    Binding("x", 42, "run_time"),
]

sorted_bindings = sorted(bindings, key=lambda b: BINDING_TIME_ORDER[b.binding_time])

print("বাইন্ডিং টাইম অনুসারে (আগে -> পরে):\n")
for b in sorted_bindings:
    print(f"  [{b.binding_time:<21}] name={b.name!r:<8} -> attribute={b.attribute!r}")