J operator
கணினி அறிவியலில், பீட்டர் லாண்டினின் ஜே ஆபரேட்டர் என்பது ஒரு நிரலாக்க கட்டமைப்பாகும், இது தற்போதைய லாம்ப்டா-சூழலின் தொடர்ச்சியுடன் ஒரு லாம்ப்டா வெளிப்பாட்டை போஸ்ட்-இசையமைக்கிறது. இதன் விளைவாக வரும் "செயல்பாடு" முதல் வகுப்பு மற்றும் அடுத்தடுத்த செயல்பாடுகளுக்கு அனுப்பப்படலாம், அங்கு பயன்படுத்தப்பட்டால் அது அதன் முடிவை அது உருவாக்கப்பட்ட செயல்பாட்டின் தொடர்ச்சிக்குத் திருப்பித் தரும். ஜே ஆபரேட்டர் லேபிள்களை உருவாக்கவும், முதல் வகுப்பு மதிப்பை உயர்த்தவும் உருவாக்கப்பட்டது. இது பின்வரும் கூடுதல் மாற்றங்களுடன் எஸ். இ. சி. டி இயந்திரத்துடன் வேலை செய்ய வடிவமைக்கப்பட்டுள்ளதுஃ {| வகுப்பு = "விக்கி செய்யக்கூடியது" | +! மாற்றம்! முதல் |-|J |J: f: S, E, ap: C, D |closure (f, D): S, E, C, D |-|Closure |closure (f, (S ', E', C ', D')): x: S, E, ap: C, D|f: x: S ', E', ap: C ', D' |} ஜே ஆபரேட்டர் முதலில் "நிரல் மூடல்" என்று அழைக்கப்படுவதை உருவாக்கினார், இது உடல் என்று அழைக்கப்படும் செயல்பாட்டைக் கொண்டுள்ளது மற்றும் ஒரு நிரல் மூடல் என்பது தொடர்ச்சியான வடிவத்தில் (மூடல் (f, D) (x) = D (f (x))) டம்புடன் அதன் உடலை உருவாக்குவதற்கு சமம். எளிமைப்படுத்தப்பட்ட விளக்கம் ஜே ஆபரேட்டர் அழைப்பு செயல்பாட்டின் தொடர்ச்சியுடன் ஒரு செயல்பாட்டை உருவாக்குகிறது. அதாவது, ஜே ஆபரேட்டர் ஒரு செயல்பாட்டைத் திருப்பித் தருகிறார், இது பயன்படுத்தப்படும்போது செயல்பாட்டின் வாதத்துடன் ஜே ஆபரேட்டரின் வாதத்தைப் பயன்படுத்துகிறது, பின்னர் ஜே ஆபரேட்டர் என்று அழைக்கப்படும் செயல்பாட்டை அந்த மதிப்பைத் திருப்பித் தருமாறு கட்டாயப்படுத்துகிறது. எடுத்துக்காட்டுகள் J (λx. x) என்பது முதல் வகுப்பு ரிட்டர்ன் அறிக்கைக்கு சமம். ஏனென்றால், λx. x என்பது அடையாளச் செயல்பாடு, எனவே அது பயன்படுத்தப்படும்போது அது கொடுக்கப்பட்ட மதிப்புக்கு எதுவும் செய்யாது, அதை நேராக away.λv.J (λx. x) ஆரம்பத்தில் λx. x இன் J ஐத் திருப்பித் தருகிறது, ஆனால் அதைச் சுற்றியுள்ள வெளிப்பாடுகளில் பயன்படுத்தலாம், இது வேறு மதிப்பை மீண்டும் திருப்பித் தருகிறது. லாண்டின் லாண்டின், பி. ஜே. எழுதிய அழைப்பு-உடன்-தற்போதைய-தொடர்ச்சியான குறிப்புகள், "அல்கோல் 60 இன் முறையான விளக்கம்" ஐ. எஃப். ஐ. பி வொர்கிங் கான்ஃபென்ஸ், பேடன், செப்டம்பர் 1964 இல் வழங்கப்பட்டது. லாண்டின், பி. ஜே., "எல்ம்பரேட்டிவ்ஸ் இல்லாமல் நிரலாக்கம்-ஒரு எடுத்துக்காட்டு", யுனிவாக் எஸ். பி. ஆராய்ச்சி அறிக்கை (மார்ச், 1965) லாண்டின், பி. ஜே., "லேபிள்களை அகற்றுதல்", யுனிவாக் எஸ். பி. ஆராய்ச்சி அறிக்கை (ஜூலை, 1965) லாண்டின், பி. ஜே., "நிரலாக்க மொழிகளில் ஒதுக்கீட்டின் பகுப்பாய்வு", யுனிவாக் எஸ். பி. ஆராய்ச்சி அறிக்கை (செப்டம்பர், 1965) லாண்டின், பி. ஜே., "ஏ ஜெனரலைசேஷன் ஆஃப் ஜம்ப்ஸ் அண்ட் லேபிள்கள்", math.bas.bg (1998) மற்றவர்களால் 1965 கணினியில் கட்டுப்பாட்டு ஓட்டம் தொடர்ச்சிகள் நிரலாக்க மொழி சொற்பொருள்