Session type
வகைக் கோட்பாட்டில், ஒத்த நிரல்களில் சரியான தன்மையை உறுதிப்படுத்த அமர்வு வகைகள் பயன்படுத்தப்படுகின்றன. ஒருங்கிணைந்த நிரல்களுக்கு இடையில் அனுப்பப்பட்ட மற்றும் பெறப்பட்ட செய்திகள் எதிர்பார்க்கப்பட்ட வரிசையில் மற்றும் எதிர்பார்க்கப்பட்ட வகையைச் சேர்ந்தவை என்று அவை உத்தரவாதம் அளிக்கின்றன. அமர்வு வகை அமைப்புகள் சேனல் மற்றும் நடிகர் அமைப்புகள் இரண்டிற்கும் மாற்றியமைக்கப்பட்டுள்ளன. ஒத்த மற்றும் விநியோகிக்கப்பட்ட அமைப்புகளில் விரும்பத்தக்க பண்புகளை உறுதிப்படுத்த அமர்வு வகைகள் பயன்படுத்தப்படுகின்றன, அதாவது. தகவல்தொடர்பு பிழைகள் அல்லது டெட்லாக்குகள் இல்லாதது மற்றும் நெறிமுறை இணக்கம். பைனரி மற்றும் பலதரப்பு அமர்வு வகைகள் இரண்டு செயல்முறைகளுக்கு இடையிலான தொடர்புகளை பைனரி அமர்வு வகைகளைப் பயன்படுத்தி சரிபார்க்கலாம், அதே நேரத்தில் இரண்டுக்கும் மேற்பட்ட செயல்முறைகளுக்கு இடையிலான தொடர்புகளை பலதரப்பு அமர்வு வகைகளைப் பயன்படுத்தி சரிபார்க்கலாம். பலதரப்பு அமர்வு வகைகளில் அனைத்து பங்கேற்பாளர்களுக்கும் இடையிலான தொடர்புகள் உலகளாவிய வகையைப் பயன்படுத்தி விவரிக்கப்படுகின்றன, பின்னர் அவை ஒவ்வொரு பங்கேற்பாளரின் உள்ளூர் பார்வையில் இருந்து தகவல்தொடர்புகளை விவரிக்கும் உள்ளூர் வகைகளாக திட்டமிடப்படுகின்றன. முக்கியமாக, உலகளாவிய வகை தகவல்தொடர்புகளின் வரிசைமுறை தகவலை குறியாக்கம் செய்கிறது, அதே தகவல்தொடர்புகளை குறியாக்கம் செய்ய பைனரி அமர்வு வகைகளைப் பயன்படுத்தினால் அது இழக்கப்படும். பைனரி அமர்வு வகைகளின் முறையான வரையறையை அனுப்பும் செயல்பாடுகள் (), பெறுதல் செயல்பாடுகள் (), கிளைகள் (), தேர்வுகள் (), மறுநிகழ்வு () மற்றும் முடிவு () ஆகியவற்றைப் பயன்படுத்தி விவரிக்கலாம். எடுத்துக்காட்டாக, ஒரு அமர்வு வகையைக் குறிக்கிறது, இது முதலில் ஒரு பூலியன் () ஐ அனுப்புகிறது, பின்னர் இறுதியாக () ஐ முடிப்பதற்கு முன்பு ஒரு முழு எண்ணைப் பெறுகிறது. செயல்பாடுகள் அமர்வு வகைகள் தற்போதுள்ள பல நிரலாக்க மொழிகளுக்கு மாற்றியமைக்கப்பட்டுள்ளன, அவற்றுள் பின்வருவன அடங்கும்ஃ எல்சானல்கள் (ஸ்காலா) எஃப்பி (ஸ்காலா) எஸ். டி. மானிட்டர் (ஸ்காலா) என்செம்பிள்ஸ் அமர்வு வகைகள் (ரஸ்ட்) சேஷ் (ரஸ்ட்) அமர்வு நடிகர்கள் (பைதான்) கண்காணிப்பு அமர்வு எர்லாங் (எர்லாங்) ஃபூஸ் (ஓ. சி. ஏ. எம். எல்) அமர்வு-ஓ. சி. ஏ. எம். எல் (ஓ. சி. ஏ. எம். எல்) முன்னுரிமை சேஷ் (ஹாஸ்கெல்) ஜாவா தட்டச்சு சரிபார்ப்பவர் (ஜாவா) குறிப்புகள் ஒருங்கிணைப்பு (கணினி அறிவியல்) வகை கோட்பாடு வகை அமைப்புகள்