স্ট্যাটিক টাইপিং
একটি প্রোগ্রামিং ল্যাঙ্গুয়েজটি রান-টাইমের বিপরীতে কম্পাইল-টাইমে যখন টাইপ চেকিং করা হয় তখন স্ট্যাটিক টাইপিং ব্যবহার করার কথা বলে। স্ট্যাটিক টাইপিংয়ে টাইপগুলি ভেরিয়েবলের সাথে মানগুলির সাথে যুক্ত হয়। স্ট্যাটিকালি টাইপ করা ভাষাগুলির মধ্যে অ্যাডা, সি, সি ++, সি #, জ্যাডি, জাভা, ফোর্টরান, হাস্কেল, এমএল, পাস্কাল, পার্ল (স্কেলার, অ্যারে, হ্যাশ এবং সাবরুটাইনগুলির পার্থক্য সহ) এবং স্কালা অন্তর্ভুক্ত রয়েছে। স্ট্যাটিক টাইপিং প্রোগ্রাম যাচাইকরণের একটি সীমাবদ্ধ ফর্ম (প্রকারের সুরক্ষা দেখুন): তদনুসারে, এটি বিকাশের চক্রের প্রথম দিকে অনেক ধরণের ত্রুটি ধরা দেয় allows স্থিতিশীল প্রকারের চেকারগণ কেবল প্রকারের তথ্যগুলি যা সংকলনের সময় নির্ধারণ করা যায় তা মূল্যায়ন করে, তবে যাচাই করা শর্তাদি প্রোগ্রামের সমস্ত সম্ভাব্য সম্পাদনের জন্য রয়েছে তা যাচাই করতে সক্ষম হয়, যা প্রতিবার প্রোগ্রামটি সম্পাদন করার সময় টাইপ চেকগুলি পুনরাবৃত্তি করার প্রয়োজনীয়তা দূর করে। রানটাইম টাইপ চেক বাদ দিয়ে এবং অন্যান্য অপ্টিমাইজেশান সক্ষম করে প্রোগ্রাম কার্যকরকরণকে আরও দক্ষ (যেমন দ্রুত বা হ্রাস করা স্মৃতি গ্রহণ) করা যায়।
কারণ তারা সংকলনের সময় প্রকারের তথ্যের মূল্যায়ন করে এবং তাই টাইপ তথ্যের অভাব যা কেবল রান-টাইমে পাওয়া যায়, স্ট্যাটিক ধরণের চেকারগুলি রক্ষণশীল। তারা এমন কিছু প্রোগ্রাম প্রত্যাখ্যান করবে যা রান-টাইমে ভাল আচরণ করা হতে পারে, তবে এটি ভাল-টাইপের জন্য স্থিতিশীলভাবে নির্ধারণ করা যায় না। উদাহরণস্বরূপ, এমনকি যদি কোনও অভিব্যক্তি সর্বদা রান-টাইমে সত্যকে মূল্যায়ন করে তবে কোড সহ একটি প্রোগ্রাম
if <complex test> then 42 else <type error>
দুর্বল টাইপযুক্ত হিসাবে প্রত্যাখাত হবে, কারণ একটি স্থির বিশ্লেষণ নির্ধারণ করতে পারে না যে অন্য শাখা নেওয়া হবে না। [1] স্থির প্রকারের চেকারগুলির রক্ষণশীল আচরণ সুবিধাজনক যখন মিথ্যাটিকে খুব কম মূল্যায়ণ করা হয়: স্ট্যাটিক প্রকারের পরীক্ষক খুব কম ব্যবহৃত কোড পাথগুলিতে টাইপ ত্রুটিগুলি সনাক্ত করতে পারে। স্ট্যাটিক টাইপ চেকিং ছাড়াই, 100% কোড কভারেজ সহ কোড কভারেজ পরীক্ষাগুলিও এই ধরণের ত্রুটি খুঁজে পেতে পারে না। কোড কভারেজ পরীক্ষাগুলি এই ধরণের ত্রুটিগুলি সনাক্ত করতে ব্যর্থ হতে পারে কারণ যেখানে মানগুলি তৈরি করা হয় এবং যেখানে নির্দিষ্ট মান ব্যবহার করা হয় সে সব জায়গাগুলির সংমিশ্রণ অবশ্যই বিবেচনায় নেওয়া উচিত।
সর্বাধিক ব্যবহৃত স্ট্যাটিক্যালি টাইপ করা ভাষাগুলি আনুষ্ঠানিকভাবে নিরাপদ নয়। তাদের কাছে প্রোগ্রামিং ল্যাঙ্গুয়েজ স্পেসিফিকেশনে "লুফোলস" রয়েছে যা প্রোগ্রামারদের কোড লিখতে সক্ষম করে যা একটি স্ট্যাটিক টাইপ চেকার দ্বারা সম্পাদিত যাচাইকরণকে বাতিল করে দেয় এবং তাই সমস্যার বিস্তৃত পরিসীমা সমাধান করে। উদাহরণস্বরূপ, জাভা এবং বেশিরভাগ সি-স্টাইলের ভাষায় টাইপ পেনিং রয়েছে এবং হাস্কেলের যেমন অনিরাপদ পারফর্মফর্মআইও রয়েছে: এই ধরনের ক্রিয়াকলাপ রানটাইমগুলিতে অনিরাপদ হতে পারে, যাতে প্রোগ্রামটি চলাকালীন ভুল মানের টাইপিংয়ের কারণে তারা অযাচিত আচরণের কারণ হতে পারে।
গতিশীল টাইপিং
একটি প্রোগ্রামিং ভাষা গতিশীল টাইপ করা হয়, বা কেবল 'গতিশীল' বলা হয়, যখন বেশিরভাগ ধরণের চেকিং রান-টাইমে সংকলন-সময়ের বিপরীতে সঞ্চালিত হয়। গতিশীল টাইপিংয়ে, প্রকারগুলি ভেরিয়েবলের সাথে মানগুলির সাথে যুক্ত। গতিময়ভাবে টাইপ করা ভাষাগুলির মধ্যে গ্রোভি, জাভাস্ক্রিপ্ট, লিস্প, লুয়া, অবজেক্টিভ সি, পার্ল (ব্যবহারকারী-সংজ্ঞায়িত প্রকারের ক্ষেত্রে তবে অন্তর্নির্মিত প্রকারের ক্ষেত্রে নয়), পিএইচপি, প্রোলজ, পাইথন, রুবি, স্মলটালক এবং টিসিএল অন্তর্ভুক্ত রয়েছে। স্ট্যাটিক টাইপিংয়ের সাথে তুলনা করে, ডায়নামিক টাইপিং আরও নমনীয় হতে পারে (যেমন প্রোগ্রামগুলি রান-টাইম ডেটার উপর ভিত্তি করে টাইপ এবং কার্যকারিতা তৈরি করার অনুমতি দিয়ে), যদিও ব্যয় কম অগ্রাধিকারের গ্যারান্টি দিয়ে। এটি কারণ কারণ একটি গতিশীলভাবে টাইপ করা ভাষা কিছু প্রোগ্রাম গ্রহণ করে এবং কার্যকর করার চেষ্টা করে যা কোনও স্ট্যাটিক ধরণের পরীক্ষক দ্বারা অবৈধ হিসাবে বিবেচিত হতে পারে।
ডায়নামিক টাইপিংয়ের ফলে রানটাইম টাইপ ত্রুটি হতে পারে — অর্থাৎ রানটাইমের সময় একটি মান অপ্রত্যাশিত টাইপ থাকতে পারে এবং এই ধরণের জন্য অপারেশন অযৌক্তিক প্রয়োগ করা হয়। এই অপারেশনটি যেখানে প্রোগ্রামিংয়ের ভুল হয়েছিল সেই জায়গার অনেক পরে ঘটতে পারে - যা সেই জায়গায় যেখানে ভুল ধরণের ডেটা এমন জায়গায় প্রবেশ করা উচিত নয়। এটি বাগ সনাক্ত করতে অসুবিধা সৃষ্টি করে।
স্থিরভাবে টাইপিত চাচাত ভাইদের তুলনায় গতিময়ভাবে টাইপ করা ভাষা সিস্টেমগুলি সোর্স কোডটিতে "কমপাইল-টাইম" কম পরীক্ষা করে তোলে (তবে পরীক্ষা করবে, উদাহরণস্বরূপ, প্রোগ্রামটি সিনট্যাকটিক্যালি সঠিক কিনা)। রান-টাইম চেকগুলি সম্ভাব্যতর পরিশীলিত হতে পারে, কারণ তারা গতিশীল তথ্য পাশাপাশি সংকলনের সময় উপস্থিত যে কোনও তথ্য ব্যবহার করতে পারে use অন্যদিকে, রানটাইম চেকগুলি কেবলমাত্র দাবি করে যে শর্তগুলি প্রোগ্রামের একটি নির্দিষ্ট নির্বাহকে ধারণ করে এবং প্রোগ্রামগুলির প্রতিটি সম্পাদনের জন্য এই চেকগুলি পুনরাবৃত্তি করা হয়।
গতিযুক্ত টাইপযুক্ত ভাষাগুলির বিকাশ প্রায়শই ইউনিট পরীক্ষার মতো প্রোগ্রামিং অনুশীলনগুলির দ্বারা সমর্থিত। পেশাদার সফ্টওয়্যার বিকাশের জন্য টেস্টিং একটি মূল অনুশীলন, এবং গতিশীল টাইপ করা ভাষায় বিশেষত গুরুত্বপূর্ণ। অনুশীলনে, সঠিক প্রোগ্রাম অপারেশন নিশ্চিত করার জন্য করা পরীক্ষাটি স্ট্যাটিক টাইপ-চেকিংয়ের চেয়ে ত্রুটিগুলির বিস্তৃত বিস্তৃত শনাক্ত করতে পারে তবে বিপরীতভাবে ত্রুটিগুলির তত বিস্তৃতভাবে অনুসন্ধান করতে পারে না যা পরীক্ষার এবং স্থির ধরণের চেক উভয়ই সনাক্ত করতে সক্ষম হয়। টেস্টিংটি সফ্টওয়্যার বিল্ড চক্রের সাথে সংযুক্ত করা যেতে পারে, এক্ষেত্রে এটি একটি "সংকলন-সময়" পরীক্ষা হিসাবে বিবেচনা করা যেতে পারে, যাতে প্রোগ্রাম ব্যবহারকারীকে ম্যানুয়ালি এই জাতীয় পরীক্ষা চালাতে হবে না।
তথ্যসূত্র
- পিয়ার্স, বেঞ্জামিন (2002) প্রকার এবং প্রোগ্রামিং ভাষা। এমআইটি প্রেস। আইএসবিএন 0-262-16209-1।