ঠিক আছে, উভয়ই খুব, খুব খুব ভুল বোঝাবুঝি এবং দুটি সম্পূর্ণ ভিন্ন জিনিস। যে পারস্পরিক একচেটিয়া নয় ।
স্ট্যাটিক প্রকারগুলি ভাষার ব্যাকরণের একটি সীমাবদ্ধতা। স্ট্যাটিকালি টাইপড ল্যাঙ্গগুলি কঠোরভাবে প্রসঙ্গমুক্ত নয় বলা যেতে পারে। সহজ সত্যটি হ'ল কোনও ভাষা প্রসঙ্গমুক্ত ব্যাকরণে বুদ্ধিমানভাবে প্রকাশ করা অসুবিধাজনক হয়ে ওঠে যা এর সমস্ত ডেটা কেবল বিট ভেক্টর হিসাবে বিবেচনা করে না। স্ট্যাটিক টাইপ সিস্টেমগুলি ভাষার ব্যাকরণের একটি অংশ যদি থাকে তবে তারা কেবল এটিকে প্রসঙ্গমুক্ত ব্যাকরণের চেয়ে বেশি সীমাবদ্ধ করে, ব্যাকরণগত চেকগুলি সত্যিকারভাবে উত্সের দুটি পাসে ঘটে। স্ট্যাটিক প্রকারগুলি টাইপ থিওরির গাণিতিক ধারণার সাথে মিলে যায়, গণিতে টাইপ থিওরি কেবল কিছু অভিব্যক্তির বৈধতা সীমাবদ্ধ করে। মত, আমি 3 + [4,7]গণিতে বলতে পারি না , এটি এর টাইপ থিওরির কারণেই।
স্থিতিশীল প্রকারগুলি তাত্ত্বিক দৃষ্টিকোণ থেকে 'ত্রুটিগুলি রোধ করার' উপায় নয়, এগুলি ব্যাকরণের একটি সীমাবদ্ধতা। প্রকৃতপক্ষে, যদি +, 3 এবং অন্তরগুলির নিয়মিত সেট তাত্ত্বিক সংজ্ঞা থাকে তবে আমরা টাইপ সিস্টেমটিকে সরিয়ে দিলে 3 + [4,7]একটি সেট সুসংগতভাবে সংজ্ঞায়িত ফলাফল পেয়ে যায় that's 'রানটাইম টাইপ ত্রুটি' তাত্ত্বিকভাবে অস্তিত্বহীন, টাইপ সিস্টেমের ব্যবহারিক ব্যবহার হ'ল অপারেশনগুলি রোধ করা যা মানুষের পক্ষে কোনও ধারণা রাখে না। অপারেশনগুলি এখনও অবশ্যই বিটগুলির স্থানান্তর এবং হেরফের হয়।
এটির মূল বিষয় হ'ল কোনও ধরণের সিস্টেম সিদ্ধান্ত নিতে পারে না যে এই জাতীয় ক্রিয়াকলাপগুলি ঘটতে যাচ্ছে কিনা তা চালানোর অনুমতি দেওয়া হবে কিনা। যেমনটি রয়েছে, ঠিক তেমন সমস্ত সম্ভাব্য প্রোগ্রামের সেটটি বিভাজন করুন যাঁদের 'টাইপ ত্রুটি' হতে চলেছে এবং যা নেই। এটি কেবল দুটি কাজ করতে পারে:
1: প্রমাণ করুন যে কোনও প্রোগ্রামে টাইপ ত্রুটিগুলি ঘটতে চলেছে
2: প্রমাণ করুন যে তারা কোনও প্রোগ্রামে ঘটবে না
এটিকে দেখে মনে হচ্ছে আমি নিজের সাথে বিরোধিতা করছি। তবে সি বা জাভা টাইপ চেকার যা করেন তা হ'ল এটি কোনও প্রোগ্রামকে 'অযৌক্তিক' হিসাবে প্রত্যাখ্যান করে, বা এটি 'টাইপ ত্রুটি' হিসাবে উল্লেখ করে যদি এটি ২ এ সফল না হতে পারে তবে এটি প্রমাণ করতে পারে না যে তারা ঘটবে না, এর অর্থ এই নয় যে তারা ঘটবে না, এর অর্থ হ'ল এটি প্রমাণ করতে পারে না। এটি খুব ভালভাবেই হতে পারে যে কোনও প্রোগ্রামে কোনও ধরণের ত্রুটি থাকবে না কেবল তা কারণ এটি সংকলক দ্বারা প্রমাণিত হতে পারে না তা প্রত্যাখ্যান করা হয়। একটি সহজ উদাহরণif(1) a = 3; else a = "string";, অবশ্যই এটি সর্বদা সত্য, তাই অন্য শাখা প্রোগ্রামে কখনও চালিত হবে না এবং কোনও ধরণের ত্রুটি ঘটবে না। তবে এটি এই পদ্ধতিগুলিকে সাধারণ উপায়ে প্রমাণ করতে পারে না, সুতরাং এটি প্রত্যাখাত। এটি নিজের থেকে নিজেকে রক্ষা করার ক্ষেত্রে স্ট্যাটিক্যালি টাইপ করা অনেক ভাষার প্রধান দুর্বলতা, আপনার প্রয়োজন না হলে আপনি অগত্যা সুরক্ষিতও হন।
তবে, জনপ্রিয় বিশ্বাসগুলির বিপরীতে, এখানেও নিয়মিতভাবে টাইপ করা ভাষা রয়েছে যা নীতি 1 অনুসারে কাজ করে They তারা কেবলমাত্র এমন সমস্ত প্রোগ্রাম প্রত্যাখ্যান করে যা এর প্রমান করতে পারে যে এটি কোনও ধরণের ত্রুটির কারণ হতে পারে, এবং যে সমস্ত প্রোগ্রাম তারা করতে পারে না তা পাস করে। সুতরাং এটি সম্ভব যে তারা এমন প্রোগ্রামগুলিকে মঞ্জুরি দেয় যাগুলির মধ্যে টাইপ ত্রুটি রয়েছে, একটি ভাল উদাহরণ টাইপড র্যাকেট, এটি গতিশীল এবং স্ট্যাটিক টাইপিংয়ের মধ্যে সংকর। এবং কিছু তর্ক করবে যে আপনি এই ব্যবস্থায় উভয় বিশ্বের সেরা পাবেন।
স্ট্যাটিক টাইপিংয়ের আরেকটি সুবিধা হ'ল টাইপগুলি সংকলন সময়ে জানা যায় এবং এইভাবে সংকলক এটি ব্যবহার করতে পারে। আমরা যদি জাভাতে থাকি "string" + "string"বা 3 + 3, উভয় +টোকন পাঠ্যর শেষে সম্পূর্ণ ভিন্ন অপারেশন এবং ডেটামকে উপস্থাপন করি তবে সংকলকটি জানেন যে একা কী ধরণের থেকে চয়ন করতে পারেন।
এখন, আমি এখানে একটি খুব বিতর্কিত বিবৃতি দিতে যাচ্ছি তবে আমার সাথে সহ্য করুন: 'গতিশীল টাইপিং' বিদ্যমান নেই ।
খুব বিতর্কিত মনে হচ্ছে, তবে এটি সত্য, গতিময়ভাবে টাইপ করা ভাষাগুলি তাত্ত্বিক দৃষ্টিভঙ্গিহীন টাইপযুক্ত । এগুলি কেবলমাত্র এক প্রকারের সাথে স্ট্যাটিকালি টাইপ করা ভাষা। বা সহজ কথায় বলতে গেলে, এগুলি এমন ভাষা যা বাস্তবে ব্যাকরণগতভাবে একটি প্রসঙ্গে নিখরচ্য ব্যাকরণ দ্বারা বাস্তবে উত্পাদিত হয়।
তাদের ধরণ নেই কেন? কারণ প্রতিটি অপারেশন প্রতিটি অপারেটরে সংজ্ঞায়িত এবং অনুমোদিত, তাই 'রানটাইম টাইপ ত্রুটি' ঠিক কী? এটি একটি তাত্ত্বিক উদাহরণ থেকে সম্পূর্ণরূপে একটি পার্শ্ব-প্রতিক্রিয়া । যদি print("string")স্ট্রিং প্রিন্ট করে এমনটি করা একটি ক্রিয়াকলাপ হয় length(3), তবে পূর্বের stringস্ট্যান্ডার্ড আউটপুটটিতে লেখার পার্শ্ব প্রতিক্রিয়া রয়েছে , পরে কেবল error: function 'length' expects array as argument.এটিই। তাত্ত্বিক দৃষ্টিকোণ থেকে গতিযুক্ত টাইপ করা ভাষা বলে কোনও জিনিস নেই। এরা টাইপড নয়
ঠিক আছে, 'গতিশীল টাইপড' ভাষার স্পষ্টত সুবিধাটি হ'ল ভাববাদী শক্তি, একটি টাইপ সিস্টেমটি ভাববাদী শক্তির সীমাবদ্ধতা ছাড়া কিছুই নয়। এবং সাধারণভাবে, একটি টাইপ সিস্টেম সহ ভাষাগুলির প্রকৃতপক্ষে সেই সমস্ত ক্রিয়াকলাপের জন্য একটি সংজ্ঞায়িত ফলাফল থাকে যা যদি টাইপ সিস্টেমটিকে কেবল উপেক্ষা করা না হয় তবে ফলাফলগুলি মানুষের কাছে বোধগম্য হবে না। অনেকগুলি ভাষা টাইপ সিস্টেম প্রয়োগ করার পরে তাদের টিউরিংয়ের সম্পূর্ণতা হারাতে পারে।
এর স্পষ্ট অসুবিধাটি হ'ল অপারেশনগুলি ঘটতে পারে যা এমন ফলাফল দেয় যা মানুষের কাছে অযৌক্তিক। এ থেকে রক্ষা পেতে, গতিশীলভাবে টাইপ করা ভাষাগুলি সাধারণত সেই অপারেশনাল ফলাফল তৈরি করার পরিবর্তে এই ক্রিয়াকলাপগুলিকে নতুনভাবে সংজ্ঞায়িত করে, ত্রুটি লেখার পার্শ্ব প্রতিক্রিয়া থাকার কারণে এবং সম্ভবত প্রোগ্রামটি পুরোপুরি বন্ধ করে দেওয়ার পরিবর্তে তারা এটিকে পুনরায় সংজ্ঞায়িত করে। এটি মোটেও 'ত্রুটি' নয়, প্রকৃতপক্ষে ভাষার স্পেসিফিকেশনটি এটিকে বোঝায়, এটি তাত্ত্বিক দৃষ্টিকোণ থেকে একটি স্ট্রিং প্রিন্ট করার মতো ভাষার আচরণ behavior প্রকারের সিস্টেমগুলি প্রোগ্রামারকে কোড প্রবাহ সম্পর্কে যুক্তিযুক্ত কারণ এই তা না ঘটে তা নিশ্চিত করতে বাধ্য করে। বা প্রকৃতপক্ষে, যুক্তি যাতে এটি করেঘটনাকে ডিবাগিংয়ের জন্য কিছু পয়েন্টেও কাজে লাগানো যেতে পারে, এটি দেখানো হয় যে এটি কোনও 'ত্রুটি' নয়, তবে ভাষার একটি সংজ্ঞায়িত সম্পত্তি। বাস্তবে, 'ডায়নামিক টাইপিং'-এর একক বাকী অংশগুলি বেশিরভাগ ভাষায় শূন্য দ্বারা একটি বিভাগের বিরুদ্ধে রক্ষা করে। এটি ডায়নামিক টাইপিং যা, কোনও প্রকার নেই, অন্য কোনও সংখ্যার চেয়ে শূন্যের চেয়ে আলাদা কোনও ধরণের টাইপ নেই। লোকেদের যাকে 'টাইপ' বলা হয় তা হ'ল অ্যারের দৈর্ঘ্য বা স্ট্রিংয়ের প্রথম অক্ষরের মতো ড্যাটামের অন্য একটি সম্পত্তি। এবং অনেকগুলি গতিশীল টাইপ করা ভাষা আপনাকে পছন্দ মতো জিনিসগুলি লেখার অনুমতি দেয় "error: the first character of this string should be a 'z'"।
আরেকটি বিষয় হ'ল ডায়নামিকালি টাইপ করা ভাষাগুলিতে রানটাইম এ টাইপ পাওয়া যায় এবং সাধারণত এটি পরীক্ষা করে এটি মোকাবেলা করতে এবং এ থেকে সিদ্ধান্ত নিতে পারে। অবশ্যই, তত্ত্বগতভাবে এটি কোনও অ্যারের প্রথম চরটি অ্যাক্সেস করা এবং এটি কী তা দেখার চেয়ে আলাদা নয়। প্রকৃতপক্ষে, আপনি নিজের গতিশীল সি তৈরি করতে পারেন, কেবলমাত্র দীর্ঘ টাইপের মতো মাত্র এক প্রকারের ব্যবহার করুন এবং আপনার 'টাইপ' সংরক্ষণ করতে এবং এটির জন্য পরীক্ষা করে ফাংশন বা পূর্ণসংখ্যা সংযোজন সম্পাদন করতে এর প্রথম 8 বিট ব্যবহার করুন। আপনার কাছে এক ধরণের স্ট্যাটিকালি টাইপ করা ভাষা বা একটি গতিশীল ভাষা রয়েছে।
বাস্তবে এই সমস্ত শোতে, স্ট্যাটিকালি টাইপ করা ভাষা সাধারণত বাণিজ্যিক সফ্টওয়্যার লেখার প্রসঙ্গে ব্যবহৃত হয়, অন্যদিকে গতিশীলভাবে টাইপ করা ভাষা কিছু সমস্যা সমাধান এবং কিছু কাজ স্বয়ংক্রিয় করার প্রসঙ্গে ব্যবহৃত হয়। স্ট্যাটিকালি টাইপ করা ভাষায় লিখিত কোডটি কেবল দীর্ঘ সময় নেয় এবং জটিল হয় কারণ আপনি যা জানেন এমন কাজগুলি করতে পারেন না যা ঠিক হয়ে যেতে চলেছে তবে টাইপ সিস্টেমটি এখনও আপনার ত্রুটিগুলির জন্য নিজেকে রক্ষা করে। অনেক কোডার এমনকি এটি বুঝতে পারে না যে তারা এটি করে কারণ এটি তাদের সিস্টেমে রয়েছে তবে আপনি যখন স্থির ভাষায় কোড করেন, আপনি প্রায়শই এই বিষয়টি নিয়ে কাজ করেন যে টাইপ সিস্টেম আপনাকে এমন কাজ করতে দেয় না যা ভুল হতে পারে না, কারণ এটি এটা ভুল হতে হবে প্রমাণ করতে পারবেন না।
যেমনটি আমি উল্লেখ করেছি, 'স্ট্যাটিকালি টাইপড' এর অর্থ সাধারন ক্ষেত্রে কেস 2, নির্দোষ প্রমাণিত না হওয়া পর্যন্ত দোষী। তবে কিছু ভাষা, যা টাইপ থিওরি থেকে তাদের টাইপ সিস্টেমটি ব্যবহার করে না নিয়ম 1: নির্দোষ প্রমাণিত হওয়া পর্যন্ত নির্দোষ, যা আদর্শ সংকর হতে পারে। সুতরাং, সম্ভবত টাইপড র্যাকেটটি আপনার জন্য।
এছাড়াও, ভাল, আরও অযৌক্তিক এবং চরম উদাহরণের জন্য, আমি বর্তমানে এমন একটি ভাষা প্রয়োগ করছি যেখানে 'টাইপস' সত্যই অ্যারের প্রথম চরিত্র, সেগুলি ডেটা, 'টাইপ', 'টাইপ' এর ডেটা, যা নিজেই একটি টাইপ এবং ড্যাটাম, একমাত্র ডাটাম যা টাইপ হিসাবে নিজেকে থাকে। প্রকারগুলি সীমাবদ্ধ বা স্থিতিশীলভাবে সীমাবদ্ধ নয় তবে রানটাইম তথ্যের ভিত্তিতে নতুন ধরণের তৈরি হতে পারে।