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