পাইথন টাইপ চেকার তুলনা: খালি কন্টেইনার ইনফারেন্স

খালি পাত্রে পাইথন টাইপ চেকার কেন ভাঙে — এবং আপনি এটি সম্পর্কে কী করতে পারেন

পাইথনের ধীরে ধীরে টাইপিং সিস্টেমটি উল্লেখযোগ্যভাবে পরিপক্ক হয়েছে যেহেতু PEP 484 2015 সালে টাইপ ইঙ্গিত প্রবর্তন করেছিল। আজ, লক্ষ লক্ষ বিকাশকারীরা উৎপাদনে আঘাত করার আগে বাগ ধরার জন্য স্ট্যাটিক টাইপ চেকারের উপর নির্ভর করে। কিন্তু টাইপ সিস্টেমের একটি সূক্ষ্ম, হতাশাজনক কোণ রয়েছে যা এখনও এমনকি অভিজ্ঞ প্রকৌশলীদেরও ট্রিপ করে: একটি খালি পাত্রে কী ধরনের আছে? আপনি যখন টীকা ছাড়াই x = [] লেখেন, তখন আপনার টাইপ পরীক্ষককে অনুমান করতে হয় — এবং বিভিন্ন চেকার ভিন্নভাবে অনুমান করে। এই ভিন্নতা বড় কোডবেস রক্ষণাবেক্ষণকারী দলগুলির জন্য বাস্তব সমস্যা তৈরি করে, যেখানে টাইপ চেকারগুলি পরিবর্তন করা বা একত্রিত করা রাতারাতি শত শত অপ্রত্যাশিত ত্রুটি দেখা দিতে পারে৷

এই নিবন্ধটি কীভাবে চারটি প্রধান পাইথন টাইপ চেকার — mypy, pyright, pytype এবং pyre — খালি কন্টেইনার অনুমান পরিচালনা করে, কেন তারা একমত নয়, এবং আপনার টুলিং পছন্দ নির্বিশেষে টাইপ-সেফ পাইথন লিখতে আপনি কী ব্যবহারিক কৌশল অবলম্বন করতে পারেন তা বর্ণনা করে।

মূল সমস্যা: খালি পাত্রগুলি সহজাতভাবে অস্পষ্ট

পাইথনের এই নিরীহ লাইনটি বিবেচনা করুন: ফলাফল = []। ফলাফল কি একটি তালিকা[int]? একটি তালিকা[str]? একটি তালিকা[ডিক্ট[str, Any]]? অতিরিক্ত প্রসঙ্গ ছাড়া, প্রকৃতপক্ষে জানার কোন উপায় নেই। পাইথন রানটাইমকে গুরুত্ব দেয় না — তালিকাগুলি প্রকৃতির দ্বারা ভিন্নধর্মী — তবে স্ট্যাটিক টাইপ চেকারদের তাদের কাজ করার জন্য প্রতিটি ভেরিয়েবলের জন্য একটি কংক্রিট টাইপ বরাদ্দ করতে হবে। এটি পাইথনের গতিশীল নমনীয়তা এবং স্ট্যাটিক বিশ্লেষণ যে গ্যারান্টি দেওয়ার চেষ্টা করে তার মধ্যে একটি মৌলিক উত্তেজনা তৈরি করে।

সমস্যাটি অভিধান এবং সেটের সাথে যুক্ত। একটি খালি {} আসলে একটি ডিক্ট হিসাবে পার্স করা হয়, একটি সেট নয়, যা টাইপ-স্তরের অস্পষ্টতার উপরে সিনট্যাকটিক অস্পষ্টতা যোগ করে। এবং নেস্টেড কন্টেনার — মনে করুন ডিফল্টডিক্ট(তালিকা) বা ফলাফল = {k: [] কী-তে k-এর জন্য — অনুমান ইঞ্জিনগুলিকে তাদের সীমাতে ঠেলে দিন। প্রতিটি ধরনের পরীক্ষক তার নিজস্ব হিউরিস্টিক তৈরি করেছে, এবং পার্থক্যগুলি বেশিরভাগ বিকাশকারীরা উপলব্ধি করার চেয়ে বেশি তাৎপর্যপূর্ণ।

প্রোডাকশন সিস্টেমে বাস্তব কাজের লোড প্রসেস করা হয় - সেটা গ্রাহকের রেকর্ড পরিচালনা করার একটি CRM, একটি ইনভয়েসিং মডিউল তৈরি করা লাইন আইটেম, বা একটি বিশ্লেষণী পাইপলাইন একত্রিত করা মেট্রিক্স - খালি কন্টেইনারগুলি ক্রমাগত শুরু করার ধরণ হিসাবে প্রদর্শিত হয়। তাদের ধরন ভুল করা শুধু লিন্টার সতর্কতা তৈরি করে না; এটি প্রকৃত বাগগুলিকে মাস্ক করতে পারে যা রানটাইমে চলে যায়৷

Mypy: অন্তর্নিহিত যেকোনো সহ স্থগিত অনুমান

মাইপি, প্রাচীনতম এবং সর্বাধিক গৃহীত পাইথন টাইপ পরীক্ষক, খালি পাত্রে তুলনামূলকভাবে নম্র পদ্ধতি গ্রহণ করে। যখন এটি ফাংশনের সুযোগে x = [] এর মুখোমুখি হয়, তখন এটি টাইপ সিদ্ধান্তটি পিছিয়ে করার চেষ্টা করে এবং পরবর্তী ব্যবহার থেকে উপাদানের ধরন অনুমান করে। আপনি x.append(42) এর পরে x = [> লিখলে, mypy অনুমান করবে list[int]। এই "যোগদান" কৌশলটি সহজবোধ্য ক্ষেত্রে আশ্চর্যজনকভাবে ভাল কাজ করে যেখানে কন্টেইনারটি একই সুযোগের মধ্যে রয়েছে।

তবে, প্রসঙ্গ এবং কঠোরতার সেটিংসের উপর নির্ভর করে মাইপির আচরণ নাটকীয়ভাবে পরিবর্তিত হয়। মডিউল স্কোপে (শীর্ষ-স্তরের কোড), অথবা যখন কনটেইনারটি জনবহুল হওয়ার আগে অন্য ফাংশনে পাস করা হয়, তখন mypy প্রায়ই তালিকা[যেকোন]-এ ফিরে যায়। --strict পতাকার অধীনে, এটি একটি ত্রুটি ট্রিগার করে, কিন্তু ডিফল্ট মোডে এটি নিঃশব্দে চলে যায়। এর মানে হল যে দলগুলি কঠোর মোড ছাড়াই mypy চালায় সেগুলি কয়েক ডজন অন্তর্নিহিতভাবে টাইপ করা পাত্রে জমা করতে পারে যা টাইপ সিস্টেম থেকে পালানোর হ্যাচ হিসাবে কাজ করে, এর উদ্দেশ্যকে হারায়।

একটি বিশেষভাবে সূক্ষ্ম আচরণ: 0.990 এর আগের mypy সংস্করণগুলি কখনও কখনও অভ্যন্তরীণভাবে তালিকা[অজানা] অনুমান করবে এবং তারপরে অ্যাসাইনমেন্টে তালিকা[যেকোন]-এ প্রসারিত হবে। 0.990-এর পরে, অনুমানটি শক্ত করা হয়েছিল, কিন্তু পরিবর্তনটি বাস্তব-বিশ্বের কোডবেসগুলির একটি আশ্চর্যজনক সংখ্যক ভেঙে দিয়েছে যা এটি উপলব্ধি না করেই অনুমতিমূলক আচরণের উপর নির্ভর করে। এটি একটি পুনরাবৃত্ত থিম — খালি কন্টেইনার অনুমানের পরিবর্তনগুলি সবচেয়ে বিঘ্নিত ধরনের চেকার আপডেটগুলির মধ্যে একটি কারণ প্যাটার্নগুলি সর্বব্যাপী৷

পাইরাইট: কঠোর অনুমান এবং "অজানা" প্রকার

পাইরাইট, মাইক্রোসফ্ট দ্বারা বিকাশিত এবং ভিএস কোডে পাইল্যান্সকে শক্তিশালী করে, একটি মৌলিকভাবে ভিন্ন দার্শনিক অবস্থান নেয়। চুপচাপ কোনও-এ ফিরে আসার পরিবর্তে, পাইরাইট অজানা (একটি প্রকার যা এখনও নির্ধারণ করা হয়নি) এবং যেকোন (টাইপ চেকিং থেকে একটি স্পষ্ট অপ্ট-আউট) এর মধ্যে পার্থক্য করে৷ আপনি যখন পাইরাইটের কঠোর মোডে x = [] লেখেন, তখন এটি তালিকা[অজানা] অনুমান করে এবং একটি ডায়াগনস্টিক রিপোর্ট করে, আপনাকে একটি টীকা প্রদান করতে বাধ্য করে।

পাইরাইট পরিধির মধ্যে সংকীর্ণ সম্পর্কে আরও আক্রমনাত্মক। যদি আপনি লেখেন:

• x = [] এর পরে x.append("hello") — pyright infers list[str]
• x = [] এর পরে x.append(1) তারপর x.append("hello") — pyright infers list[int | str]
• x = [] সরাসরি তালিকা[int] প্রত্যাশিত একটি ফাংশনে পাস করা হয়েছে — কল-সাইটের প্রসঙ্গ
থেকে পাইরাইট ইনফারস লিস্ট[int]
• x = [] রিটার্ন টাইপ টীকা ছাড়াই একটি ফাংশন থেকে ফিরে এসেছে — পাইরাইট অনুমান করার পরিবর্তে একটি ত্রুটি রিপোর্ট করে

এই দ্বিমুখী অনুমান (পরবর্তী ব্যবহার এবং কল সাইট থেকে প্রত্যাশিত প্রকার উভয়ই ব্যবহার করে) খালি পাত্রের জন্য মাইপির তুলনায় পাইরাইটকে উল্লেখযোগ্যভাবে আরও সুনির্দিষ্ট করে তোলে। ট্রেডঅফ হল ভারবোসিটি: pyright এর কঠোর মোড প্রায় 30-40% বেশি সমস্যাকে ফ্ল্যাগ করে একটি সাধারণ অব্যক্ত কোডবেসে mypy-এর কঠোর মোডের তুলনায়, বেশ কয়েকটি ওপেন-সোর্স মাইগ্রেশন রিপোর্টের বিশ্লেষণ অনুসারে। জটিল ব্যাকএন্ড সিস্টেম তৈরি করা দলগুলির জন্য — বলুন, CRM, বেতন-ভাতা এবং বিশ্লেষণে বিস্তৃত 207 আন্তঃসংযুক্ত মডিউল পরিচালনা করার একটি প্ল্যাটফর্ম — পাইরাইটের কঠোরতা সূক্ষ্ম ইন্টারফেসের অমিলগুলিকে ধরতে পারে যা হালকা অনুমান মিস করবে৷

Pytype and Pyre: The Less Traveled Roads

গুগলের পাইটাইপ সম্ভবত সবচেয়ে বাস্তবসম্মত পদ্ধতি গ্রহণ করে। টীকা প্রয়োজন বা যেকোন-এ ফিরে যাওয়ার পরিবর্তে, ফাংশন সীমানা জুড়ে একটি ধারক কীভাবে ব্যবহার করা হয় তা ট্র্যাক করতে pytype সম্পূর্ণ-প্রোগ্রাম বিশ্লেষণ ব্যবহার করে। আপনি যদি একটি ফাংশনে একটি খালি তালিকা তৈরি করেন এবং এটিকে পূর্ণসংখ্যা যুক্ত করে অন্যটিতে পাস করেন, তাহলে pytype প্রায়শই কোনো টীকা ছাড়াই list[int] অনুমান করতে পারে। এই ক্রস-ফাংশন অনুমান গণনাগতভাবে ব্যয়বহুল — pytype বড় কোডবেসে মাইপি বা পাইরাইটের তুলনায় উল্লেখযোগ্যভাবে ধীর — তবে এটি অব্যক্ত কোডে কম মিথ্যা ইতিবাচক উৎপন্ন করে৷

পাইটাইপ খালি পাত্রের জন্য "আংশিক প্রকার" ধারণাও প্রবর্তন করে। একটি নতুনভাবে তৈরি করা একটি আংশিক প্রকার পায় যা ক্রমান্বয়ে পরিমার্জিত হয় কারণ চেকারটি আরও বেশি ব্যবহারের সম্মুখীন হয়৷ এটি ধারণাগতভাবে মার্জিত কিন্তু বিভ্রান্তিকর ত্রুটির বার্তা তৈরি করতে পারে যখন আংশিক প্রকারটি সম্পূর্ণরূপে সমাধান করা যায় না, যেমন যখন একটি খালি কন্টেইনার কখনও জনবহুল না হয়ে বিভিন্ন ফাংশনের মধ্য দিয়ে প্রবাহিত হয়।

Meta's pyre, এদিকে, mypy-এর আচরণের কাছাকাছি কিন্তু কঠোর ডিফল্ট সহ। Pyre x = [] কে তালিকা[অজানা] হিসাবে বিবেচনা করে এবং বেশিরভাগ প্রসঙ্গে টীকা প্রয়োজন। যেখানে pyre নিজেকে আলাদা করে খালি ডিকশনারী লিটারালগুলিকে kwargs হিসাবে ব্যবহার করা হয় - ওয়েব ফ্রেমওয়ার্কের একটি সাধারণ প্যাটার্ন। কিওয়ার্ড আর্গুমেন্ট প্রসঙ্গ থেকে অভিধানের ধরন অনুমান করার জন্য Pyre-এর বিশেষ-কেস লজিক রয়েছে, যা ফ্রেমওয়ার্ক-ভারী কোডবেসগুলিতে টীকা বোঝা হ্রাস করে। প্রদত্ত যে বেশিরভাগ আধুনিক ওয়েব অ্যাপ্লিকেশনগুলি কনফিগারেশন এবং অনুরোধ পরিচালনার জন্য অভিধান আনপ্যাকিংয়ের ভারী ব্যবহার জড়িত, এই বাস্তববাদ লভ্যাংশ প্রদান করে৷

বাস্তব-বিশ্বের প্রভাব: যখন ইনফারেন্স ডাইভারজেন্স কামড় দেয়

টাইপ চেকারগুলির মধ্যে পার্থক্যগুলি একাডেমিক বলে মনে হতে পারে যতক্ষণ না আপনি তাদের একটি প্রোডাকশন কোডবেসে অনুভব করেন। ব্যবসায়িক অ্যাপ্লিকেশনগুলিতে একটি সাধারণ প্যাটার্ন বিবেচনা করুন: একটি ডেটা কাঠামো শুরু করা যা শর্তসাপেক্ষে জনবহুল হয়৷

সবচেয়ে বিপজ্জনক খালি কন্টেইনারগুলি টাইপ চেকার ফ্ল্যাগ নয় — সেগুলিই নীরবে অনুমান করা যে কোনও প্রকারের সাথে পাস করে, অসামঞ্জস্যপূর্ণ ডেটাকে সতর্কতা ছাড়াই জমা করতে দেয় যতক্ষণ না একটি TypeError এর সাথে রানটাইমে একটি ডাউনস্ট্রিম ফাংশন ক্র্যাশ না হয় যেটি প্রায় অসম্ভবটি ফিরে আসতে পারে৷

একটি সুনির্দিষ্ট উদাহরণ: একটি ফিনটেক স্টার্টআপে একটি দল একটি উত্পাদন সমস্যা ডিবাগ করার জন্য তিন দিন ব্যয় করেছে যেখানে একটি খালি তালিকা, একটি অর্থপ্রদান প্রক্রিয়াকরণ ফাংশনে আরম্ভ করা হয়েছে, mypy দ্বারা তালিকা[যেকোন] হিসাবে অনুমান করা হয়েছে৷ তালিকায় মুদ্রার পরিমাণের জন্য দশমিক অবজেক্ট থাকার কথা ছিল, কিন্তু তার পরিবর্তে একটি কোড পাথ ফ্লোট মান যুক্ত করছে। Mypy এর নম্র অনুমান নীরবে এটি অনুমোদিত. বাগটি তখনই দেখা যায় যখন ফ্লোট গাণিতিকের রাউন্ডিং ত্রুটির কারণে 12,000 চালানের ব্যাচে $0.01 বৈষম্য দেখা দেয়। যদি তারা কঠোর মোডে পাইরাইট ব্যবহার করত, বা খালি তালিকাটিকে তালিকা[দশমিক] হিসাবে টীকা করত, তাহলে বাগটি বিকাশের সময় ধরা পড়ত।

মেওয়েজে, যেখানে প্ল্যাটফর্মটি 138,000+ ব্যবহারকারী অ্যাকাউন্ট জুড়ে ইনভয়েসিং, বেতনের গণনা এবং আর্থিক বিশ্লেষণ প্রক্রিয়া করে, এই ধরনের টাইপ-নিরাপত্তা ব্যবধান তাত্ত্বিক নয় — এটি সঠিক বেতনের রান এবং ব্যয়বহুল পুনঃগণনার মধ্যে পার্থক্য। কন্টেইনার ইনিশিয়ালাইজেশনের চারপাশে কঠোর টাইপিং শৃঙ্খলা সেই "বিরক্ত" ইঞ্জিনিয়ারিং অনুশীলনগুলির মধ্যে একটি যা উত্তেজনাপূর্ণ উত্পাদন ঘটনাগুলিকে প্রতিরোধ করে৷

প্রতিরক্ষামূলক কন্টেইনার সূচনার জন্য সর্বোত্তম অনুশীলন

আপনার দল যে ধরনের পরীক্ষক ব্যবহার করুক না কেন, খালি কন্টেইনারের অস্পষ্টতা সম্পূর্ণভাবে দূর করার জন্য সুনির্দিষ্ট কৌশল রয়েছে। লক্ষ্য হল খালি কন্টেনারগুলির জন্য অনুমানের উপর নির্ভর না করা — ধরনটি স্পষ্ট করুন যাতে আপনার কোড সমস্ত চেকার জুড়ে বহনযোগ্য হয় এবং সংস্করণগুলির মধ্যে অনুমান আচরণ পরিবর্তন থেকে প্রতিরোধী হয়৷

1. সর্বদা খালি কন্টেইনার ভেরিয়েবল টীকা করুন। ফলাফল = [] এর পরিবর্তে ফলাফল: তালিকা[int] = [] লিখুন। সংরক্ষিত ডিবাগিং সময়ের তুলনায় ক্ষুদ্র ভারবোসিটি খরচ নগণ্য। এই একক অভ্যাসটি প্রায় 80% খালি কন্টেইনার অনুমান সংক্রান্ত সমস্যাগুলিকে দূর করে৷
2. জটিল পাত্রের জন্য ফ্যাক্টরি ফাংশন ব্যবহার করুন৷ ক্যাশে = {} এর পরিবর্তে, def make_cache() -> dict[str, list[UserRecord]]: রিটার্ন {} এর মত একটি ফাংশন লিখুন। রিটার্ন টাইপ টীকাটি উদ্দিষ্ট প্রকারটিকে দ্ব্যর্থহীন এবং স্ব-ডকুমেন্টিং করে তোলে।
3. অ-তুচ্ছ প্রকারের জন্য লিটারালের চেয়ে টাইপ করা কনস্ট্রাক্টরকে পছন্দ করুন। সেট বোঝার অনুমানের উপর নির্ভর না করে আইটেমগুলি: সেট[int] = সেট() লিখুন। ডিফল্টডিক্ট এবং কাউন্টার এর জন্য, সর্বদা টাইপ প্যারামিটার প্রদান করুন: গণনা: কাউন্টার[str] = কাউন্টার()।
4. নতুন কোডের জন্য আপনার টাইপ পরীক্ষকের কঠোর মোড কনফিগার করুন৷ মাইপি এবং পাইরাইট উভয়ই প্রতি-ফাইল বা প্রতি-ডিরেক্টরি কনফিগারেশন সমর্থন করে৷ ধীরে ধীরে লিগ্যাসি কোড স্থানান্তর করার সময় নতুন মডিউলগুলিতে কঠোর পরীক্ষা করা সক্ষম করুন৷ এটি নতুন অন্তর্নিহিত-টাইপ করা পাত্রে জমা হতে বাধা দেয়।
5. আপনার CI পাইপলাইনের তুলনায় টাইপ পরীক্ষক যোগ করুন। আপনার কোডবেসে মাইপি এবং পাইরাইট উভয়ই চালানোর ফলে ইনফারেন্স ডিভারজেন্স তাড়াতাড়ি ধরা পড়ে। যদি একটি প্যাটার্ন একটি পরীক্ষককে পাস করে কিন্তু অন্যটি ব্যর্থ হয় তবে এটি একটি সংকেত যে ধরণটি যথেষ্ট স্পষ্ট নয়৷

দ্যা বিগার পিকচার: টিম প্র্যাকটিস হিসাবে টাইপ চেকিং

খালি কন্টেইনার অনুমান শেষ পর্যন্ত পাইথনের টাইপ সিস্টেমে একটি বৃহত্তর চ্যালেঞ্জের একটি মাইক্রোকসম: সুবিধা এবং নিরাপত্তার মধ্যে উত্তেজনা। পাইথনের দর্শন "আমরা সকলেই প্রাপ্তবয়স্কদের সম্মতি দিচ্ছি" প্রোটোটাইপিং এবং স্ক্রিপ্টগুলির জন্য সুন্দরভাবে কাজ করে, তবে হাজার হাজার ব্যবহারকারীদের পরিবেশনকারী উত্পাদন সিস্টেমগুলির আরও শক্তিশালী গ্যারান্টি প্রয়োজন৷ এই সত্য যে চারটি প্রধান টাইপ চেকার প্রকারের মতো মৌলিক কিছুতে একমত নয় তা বোঝায় যে পাইথন টাইপিং ইকোসিস্টেম এখনও পরিপক্ক হচ্ছে৷

ইঞ্জিনিয়ারিং টিমগুলির জন্য জটিল প্ল্যাটফর্ম তৈরি করার জন্য - আপনি মুষ্টিমেয় মাইক্রোসার্ভিস পরিচালনা করছেন বা Mewayz-এর ব্যবসায়িক OS-এর মতো শত শত আন্তঃসংযুক্ত মডিউল সহ একটি সমন্বিত সিস্টেম পরিচালনা করছেন - ব্যবহারিক পরামর্শটি সোজা: খালি কন্টেইনারগুলির জন্য অনুমানের উপর নির্ভর করবেন না, একটি টাইপ চেকার বেছে নিন এবং এটিকে কঠোরভাবে কনফিগার করুন যাতে ডকুমেন্ট টাইপ করা যায় না। মেশিন যাচাইযোগ্য আপনার কোডবেস স্কেল করার সময় [] এর পরিবর্তে তালিকা[ইনভয়েস] লিখতে যে পাঁচ মিনিট ব্যয় করা হয়েছে তা আপনাকে ডিবাগ করার ঘন্টা বাঁচাবে।

যেহেতু PEP 696 (ডিফল্ট টাইপ প্যারামিটার) এবং PEP 695 (টাইপ প্যারামিটার সিনট্যাক্স) নতুন পাইথন সংস্করণে অবতরণ করা চালিয়ে যাচ্ছে, সুস্পষ্ট টাইপিং এর ergonomics উন্নত হতে থাকবে। "টীকা করা" এবং "অনিবৃত" পাইথনের মধ্যে ব্যবধান সংকুচিত হবে। কিন্তু সেই দিন পর্যন্ত, স্পষ্ট কন্টেইনারের ধরনগুলি পাইথন বিকাশকারীর টুলকিটে সর্বোচ্চ-আরওআই অনুশীলনগুলির মধ্যে একটি রয়ে গেছে - একটি ছোট শৃঙ্খলা যা প্রতিটি মডিউল, প্রতিটি স্প্রিন্ট এবং প্রতিটি উত্পাদন স্থাপনায় চক্রবৃদ্ধি সুদ প্রদান করে৷