Programming Computable Functions
கணினி அறிவியலில், புரோகிராமிங் கம்ப்யூட்டபிள் ஃபங்ஷன்ஸ் (பிசிஎஃப்) என்பது டானா ஸ்காட் எழுதிய முந்தைய வெளியிடப்படாத உள்ளடக்கத்தை அடிப்படையாகக் கொண்டு 1977 ஆம் ஆண்டில் கார்டன் பிளாட்கின் அறிமுகப்படுத்திய தட்டச்சு செய்யப்பட்ட செயல்பாட்டு மொழியாகும். இது தட்டச்சு செய்யப்பட்ட லாம்ப்டா கால்குலஸின் நீட்டிக்கப்பட்ட பதிப்பாகவோ அல்லது எம்எல் அல்லது ஹாஸ்கெல் போன்ற நவீன தட்டச்சு செய்யப்பட்ட செயல்பாட்டு மொழிகளின் எளிமைப்படுத்தப்பட்ட பதிப்பாகவோ கருதப்படலாம். பிசிஎஃப்-க்கான ஒரு முழுமையான சுருக்க மாதிரி முதலில் ராபின் மில்னரால் வழங்கப்பட்டது. இருப்பினும், மில்னரின் மாதிரி அடிப்படையில் பி. சி. எஃப் இன் தொடரியல் அடிப்படையாக இருந்ததால் அது திருப்திகரமாக இல்லை என்று கருதப்பட்டது. சொற்றொடரைப் பயன்படுத்தாத முதல் இரண்டு முழுமையான சுருக்க மாதிரிகள் 1990 களில் வடிவமைக்கப்பட்டன. இந்த மாதிரிகள் விளையாட்டு சொற்பொருள் மற்றும் கிரிப்கே தர்க்கரீதியான உறவுகளை அடிப்படையாகக் கொண்டவை. இந்த மாதிரிகள் எதுவும் முழுமையாக திருப்திகரமாக இல்லை என்று ஒரு காலத்திற்கு உணரப்பட்டது, ஏனெனில் அவை திறம்பட வழங்க முடியாதவை. இருப்பினும், ரால்ப் லோடர் பிசிஎஃப் இன் இறுதி துண்டில் நிரல் சமநிலை பற்றிய கேள்வி தீர்மானிக்க முடியாதது என்பதால், திறம்பட வழங்கக்கூடிய முழு சுருக்க மாதிரியும் இருக்க முடியாது என்பதை நிரூபித்தார். σ மற்றும் τ வகைகளுக்கு, ஒரு வகை σ → τ உள்ளது ஒரு சூழல் என்பது x: σ ஜோடிகளின் பட்டியலாகும், இதில் x என்பது ஒரு மாறி பெயர் மற்றும் σ என்பது ஒரு வகை, அதாவது எந்த மாறி பெயரும் நகலெடுக்கப்படாது. பின்வரும் சொற்பொருள் கட்டமைப்புகளுக்கான வழக்கமான வழியில் சொற்களில் உள்ள சூழலின் தட்டச்சு தீர்ப்புகளை ஒருவர் வரையறுக்கிறார்ஃ மாறிகள் (x: σ ஒரு சூழலின் ஒரு பகுதியாக இருந்தால், பின்னர் x: σ) பயன்பாடு (வகை வகை σ க்கு ஒரு சொல் σ → τ) λ-சுருக்கம் Y நிலையான புள்ளி ஒருங்கிணைப்பாளர் (வகை σ இன் சொற்களை வகை σ க்கு வெளியே உருவாக்குவது) நாட் மற்றும் மாறிலி 0 இல் வாரிசு (சக்) மற்றும் முன்னோடி (முன்) செயல்பாடுகள் தட்டச்சு விதியுடன் இருந்தால் நிபந்தனைஃ (நாட்ஸ் இங்கே பூலியன்களாக விளக்கப்படுவார்கள் பூஜ்ஜியம் போன்ற நடைமுறையுடன் உண்மையைக் குறிக்கும், மற்றும் வேறு ஏதேனும் இந்த மாதிரியில், வகைகள் சில களங்களாக விளக்கப்பட்டுள்ளன. (தட்டையான வரிசையுடன் இணைக்கப்பட்ட கீழ் உறுப்பு கொண்ட இயற்கை எண்கள்) புள்ளி வாரியான வரிசையுடன் ஸ்காட்-தொடர்ச்சியான செயல்பாடுகளின் களமாக விளக்கப்படுகிறது. ஒரு சூழல் தொடர் செயல்பாடுகளாக விளக்கப்படுவதால் ஒரு சூழல் விளக்கப்படுகிறது மாறுபடும் சொற்கள் கணிப்புகள் லாம்ப்டா சுருக்கமாக விளக்கப்படுகின்றன மற்றும் பயன்பாடு களங்கள் மற்றும் தொடர்ச்சியான செயல்பாடுகளின் வகையின் கார்ட்டீசியன் மூடிய கட்டமைப்பைப் பயன்படுத்துவதன் மூலம் விளக்கப்படுகிறது Y வாதத்தின் குறைந்தபட்ச நிலையான புள்ளியை எடுத்துக்கொள்வதன் மூலம் விளக்கப்படுகிறது இந்த மாதிரி பிசிஎஃப்-க்கு முழுமையாக சுருக்கமாக இல்லை; ஆனால் பிசிஎஃப்-க்கு இணையான அல்லது ஆபரேட்டரைச் சேர்ப்பதன் மூலம் பெறப்பட்ட மொழிக்கு இது முற்றிலும் சுருக்கமானது. குறிப்புகள் குறிப்புகள் வெளிப்புற இணைப்புகளாக தோன்றியது எஸ். எம். எல் நிரலாக்க மொழிகளில் எழுதப்பட்ட பி. சி. எஃப்-க்கான ரியல் பி. சி. எஃப் லெக்சர் மற்றும் பார்ஸரின் அறிமுகம் 1977 இல் உருவாக்கப்பட்ட கல்வி நிரலாக்க மொழிகள் செயல்பாட்டு மொழிகள் நிரலாக்க மொழி கோட்பாடு