প্রোগ্রামারদের জন্য লিনিয়ার প্রকার

ভূমিকা §

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

টিলিনিয়ার লজিকের চারটি প্রধান অপারেটর এখানে:

ক লিনিয়ার ধরণের সাধারণ ফর্ম (বিশেষত এমএলএলঅ্যাডেটিভ/’চয়েস’ অপারেটর ⊕ এবং &) ছাড়াই লিনিয়ার লজিকের খণ্ডটি এমন একটি প্রোগ্রামিং ভাষা হিসাবে এনকোড করা যেতে পারে যেখানে প্রতিটি মান ব্যবহার করা যেতে পারে এবং অবশ্যই একবার ব্যবহার করা যেতে পারে এবং হেনরি বেকার লিসপ থেকে আবর্জনা সংগ্রহ অপসারণ সম্পর্কে প্রয়োগ করার বিষয়ে একটি সিরিজে জনপ্রিয় করে তোলে।


হেনরি বেকার একজন বিশিষ্ট লিস্প হ্যাকার এবং লিস্প মেশিনের অন্যতম মূল নির্মাতা, যা কখনও কখনও সময়ের তুলনামূলকভাবে ধীর হার্ডওয়্যারটিতে আবর্জনা সংগ্রহের জন্য প্রয়োজনীয় দীর্ঘ এবং অপ্রত্যাশিত ‘বিরতি’ কারণে সি-ভিত্তিক ইউনিক্স মেশিনগুলির কাছে হারিয়ে গেছে বলে মনে করা হয়। এটি সাধারণত প্রোগ্রামিং ভাষায় দেখা ফর্ম। উদাহরণস্বরূপ, টাইপের একটি λ- ক্যালকুলাস শব্দ (এ \ মাল্টিম্যাপ বি \) এমন একটি ফাংশন যা হুবহু একটি \ (এ \) গ্রহণ করে এবং একটি \ (বি \) উত্পাদন করে-লিনিয়ার লজিক প্রস্তাবের একটি প্রমাণ এনকোডিং \ (এ^\ বট \ অপারেটর্নাম \}} \))।

অ্যাপ্লিকেশন §

খy লিনিয়ার প্রকারের নিয়োগ করে, প্রোগ্রামারটি এমন কিছু মডেল করতে পারে যেখানে কিছু ব্যবহার করে এর ধরণ পরিবর্তন করে। একটি সাধারণ উদাহরণে একটি ‘ব্যয়’ জড়িত: যদি আমার কাছে একটি ভেন্ডিং মেশিন থাকে যা আমাকে একটি চকোলেট বার বা একটি ডলারের জন্য ক্রিস্পের প্যাকেট দেয় তবে আমি কেবল দু’বার ডলারের মধ্যে রাখতে পারি না এবং উভয়ই পেতে পারি না। একটি আইটেমের জন্য ডলার ব্যবহার করে খরচ হয় ডলার, এবং এটি অন্য আইটেমটি পাওয়ার জন্য আর উপলব্ধ নেই।

ক প্রতিদিনের প্রোগ্রামিংয়ের আরও সাধারণ উদাহরণে এমন অবজেক্টগুলিতে জড়িত রয়েছে যা নির্দিষ্ট প্রোটোকল রয়েছে (উপলব্ধ অপারেশনগুলির একটি ক্রম) যা অবশ্যই মেনে চলতে হবে। উদাহরণস্বরূপ, একবার কোনও ফাইল হ্যান্ডেল বন্ধ হয়ে গেলে, এটি আর লিখতে পারে না: প্রোগ্রামারের দৃষ্টিকোণ থেকে, ফাইল হ্যান্ডেলটি আর বিদ্যমান নেই। রাজ্যে আরও পরিশীলিত পরিবর্তন, উদাহরণস্বরূপ একটি ‘খোলার’ ফাইল হ্যান্ডেল যার মেটাডেটা একটি ‘খোলা’ ফাইল হ্যান্ডেল হয়ে/যা থেকে প্রোগ্রামার ডেটা লিখতে/পড়তে পারে, পুরানো অবজেক্টটিকে ‘ধ্বংস’ হিসাবে মডেল করা যেতে পারে এবং একটি নতুনকে ফিরিয়ে দেওয়া যায়।

ক সম্পর্কিত অ্যাপ্লিকেশনটি একটি নেটওয়ার্ক প্রোটোকল। উদাহরণস্বরূপ, এইচটিটিপি বাস্তবায়নকারী একটি স্ট্রিমে, সার্ভারটি ক্লায়েন্টকে আশা করতে পারে:

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

চিত্র 1। একটি এইচটিটিপি অনুরোধ প্রোটোকল।

কনোটার খুব গুরুত্বপূর্ণ উদাহরণ মেমরি ম্যানেজমেন্টের। যেহেতু মানগুলির স্বেচ্ছাসেবী সদৃশতা বাতিল করা হয় না, এটি কোডের কাঠামোর মধ্যে অন্তর্নিহিত যে কোনও মান অবশ্যই কতক্ষণ থাকতে হবে এবং তাই যখন এটির স্মৃতি পুনরায় ব্যবহার করা নিরাপদ। এটি সাধারণভাবে লিনিয়ার ভাষাগুলি কোনও আবর্জনা সংগ্রাহক, রেফারেন্স কাউন্টার, বা মেমরি রেফারেন্সগুলি ট্র্যাক করার অন্যান্য উপায়গুলির আশ্রয় ছাড়াই নিরাপদে সম্পাদন করার অনুমতি দেয় – সিস্টেম ভাষায় একটি গুরুত্বপূর্ণ গুণ, যেখানে অপ্রত্যাশিত আবর্জনা সংগ্রহের বিরতি প্রায়শই কোনও বিকল্প হয় না। আরও সাধারণভাবে, লিনিয়ার প্রকারগুলি কার্যকরী এবং অপরিহার্য ভাষার মধ্যে ব্যবধানটি পূরণ করতে ব্যবহার করা যেতে পারে। লিনিয়ার ধরণের একটি কার্যকরী প্রোগ্রাম একটি আবশ্যক প্রোগ্রাম হিসাবে উপলব্ধি করা যেতে পারে; যেহেতু দু’বার কোনও মান পর্যবেক্ষণ করার কোনও উপায় নেই, তাই মেমরির অঞ্চলটি সেই মানটিকে সমর্থন করে নিরাপদে পুনর্বিবেচিত হতে পারে, বাস্তবে পরিবর্তনটি পর্যবেক্ষণ করার সম্ভাবনা ছাড়াই (ব্রেকিং ব্রেকিং
রেফারেন্সিয়াল স্বচ্ছতা)।

এলদুটি কারণে ইনার প্রকারগুলিও সমবর্তী প্রোগ্রামিংয়ে খুব কার্যকর হতে পারে:

টিo একযোগে সুবিধাগুলি দেখুন, আমরা টাইপগুলি টাইপিং মান হিসাবে চিন্তাভাবনা বন্ধ করতে পারি এবং পরিবর্তে সেগুলি টাইপিং প্রক্রিয়া হিসাবে দেখতে পারি। এই দৃশ্যে, \ (a ⊸ b \) এর মতো একটি ফাংশন ধরণের একটি প্রক্রিয়া যা একটি \ (a \) প্রত্যাশা করে এবং একটি \ (বি \) উত্পাদন করে একই সময়ে (এই অর্থে যে প্রক্রিয়াটি এই বিষয়গুলির সাথে ইন্টারঅ্যাক্ট করার জন্য ক্রমটি বেছে নেয়), যখন একটি টেনসর টাইপের মতো \ (a ⊗ b \) প্রক্রিয়াগুলির একটি জুড়ি উপস্থাপন করে

কেবল ইন্টারফেসে এক জোড়া প্রক্রিয়া: গণনাটি একটি একক প্রক্রিয়া দ্বারা করা যেতে পারে, যতক্ষণ না এটি আচরণ করতে পারে যেন এটি দুটি প্রক্রিয়া, অর্থাত্ কোনও নির্দিষ্ট ক্রমে অ্যাক্সেস করার উপর নির্ভরতা নেই। এটি ভোক্তাদের ইচ্ছা যে কোনও ক্রমে একটি \ (এ \) এবং একটি \ (বি \) উত্পাদন করবে।

ব্যবহারে লিনিয়ার প্রকার §

এনo মূলধারার প্রোগ্রামিং ভাষা সম্পূর্ণ লিনিয়ার প্রকারগুলি প্রয়োগ করে তবে বিভিন্ন ভাষায় এগুলির বিভিন্ন দুর্বলতা রয়েছে। সম্পর্কিত কাঠামোগত প্রকারগুলি আরও বেশি বা কম মূলধারার প্রোগ্রামিং সিস্টেমগুলিতে অস্বাভাবিক নয়।