Pattern calculus
முறை கால்குலஸ் அனைத்து கணக்கீடுகளையும் மிகவும் பொதுவான வகையின் முறை பொருத்தத்தின் அடிப்படையில் அடிப்படையாகக் கொண்டுள்ளது. லாம்ப்டா கால்குலஸைப் போலவே, இது செயல்பாட்டு மதிப்பீட்டின் சீரான சிகிச்சையை ஆதரிக்கிறது. மேலும், இது செயல்பாடுகளை வாதங்களாக அனுப்பவும் முடிவுகளாகத் திருப்பித் தரவும் அனுமதிக்கிறது. கூடுதலாக, பேட்டர்ன் கால்குலஸ் வாதங்களின் உள் கட்டமைப்பிற்கான சீரான அணுகலை ஆதரிக்கிறது, அவை ஜோடிகளாகவோ அல்லது பட்டியல்களாகவோ அல்லது மரங்களாகவோ இருக்கலாம். மேலும், இது வடிவங்களை வாதங்களாக அனுப்பவும் முடிவுகளாக திருப்பித் தரவும் அனுமதிக்கிறது. சீரான அணுகல் ஒரு முறையான தரவு கட்டமைப்பின் அளவைக் கணக்கிடும் ஒரு முறை-பொருந்தும் செயல்பாட்டால் விளக்கப்படுகிறது. நிரலாக்க மொழி பாண்டியின் குறியீட்டில், இது மறுநிகழ்வு செயல்பாட்டால் வழங்கப்படுகிறது, ரெக் அளவு = | x y-> (அளவு x) + (அளவு y) | x-> 1 இரண்டாவது, அல்லது இயல்புநிலை வழக்கு வாதத்திற்கு எதிரான வடிவத்துடன் பொருந்துகிறது மற்றும் திரும்புகிறது. முதல் வழக்கில் பொருத்தம் தோல்வியடைந்தால் மட்டுமே இந்த வழக்கு பயன்படுத்தப்படுகிறது. முதல் அல்லது சிறப்பு வழக்கு காலியாக இல்லாத பட்டியல் அல்லது ஜோடி போன்ற எந்தவொரு கலவையுடனும் பொருந்துகிறது. பொருத்தம் இடது கூறு மற்றும் வலது கூறு ஆகியவற்றுடன் பிணைக்கிறது. பின்னர் வழக்கின் உடல் இந்த கூறுகளின் அளவுகளை ஒன்றாக சேர்க்கிறது. இதே போன்ற நுட்பங்கள் தேடுவதற்கும் புதுப்பிப்பதற்கும் பொதுவான கேள்விகளைத் தருகின்றன. இந்த வழியில் மறுசுழற்சி மற்றும் சிதைவு ஆகியவற்றை இணைப்பது பாதை பாலிமார்பிசத்தை அளிக்கிறது. வடிவங்களை அளவுருக்களாக அனுப்பும் திறன் (முறை பாலிமார்பிசம்) ஒரு பொதுவான நீக்கியை வரையறுப்பதன் மூலம் விளக்கப்படுகிறது. ஒரு மரத்தின் இலைகளை உருவாக்குவதற்கும், எண்களை கவுண்டர்களாக மாற்றுவதற்கும் கட்டமைப்பாளர்கள் கொடுக்கப்பட்டதாக வைத்துக்கொள்வோம். தொடர்புடைய நீக்கிகள் பின்னர் நீக்கப்படுகின்றன லீஃப் = | லீஃப் ஒய்-> ஒய் எலிம் கவுண்ட் = | கவுண்ட் ஒய்-> ஒய் எடுத்துக்காட்டாக, மதிப்பீடு செய்கிறது. கேள்விக்குரிய கட்டமைப்பாளர்களுக்கு பொதுவான நீக்கியைப் பயன்படுத்துவதன் மூலம் இந்த எடுத்துக்காட்டுகளை உருவாக்க முடியும். இது நீக்குதல் = | x-> | {y} x y-> y ஆல் வரையறுக்கப்படுகிறது இப்போது | {y} இலை y-> y க்கு மதிப்பிடப்படுகிறது, இது சமம். இதுவும் சமமானதே. பொதுவாக, சுருள் பிரேஸ்கள் வடிவத்தின் பிணைக்கப்பட்ட மாறிகளைக் கொண்டுள்ளன, எனவே அது இலவசம் மற்றும் | {y} x y-> y இல் பிணைக்கப்பட்டுள்ளது. வெளிப்புற இணைப்புகள் கீழே உள்ள இணைப்புகளின் காப்பக கண்ணாடி (அவை இனி ஆன்லைனில் இல்லை)-அசல் காகிதம், ஆனால் மிகவும் பொதுவானது அல்ல. பாண்டி நிரலாக்க மொழி ஆராய்ச்சி தளம் லாம்ப்டா கால்குலஸ்