J operator
કોમ્પ્યુટર વિજ્ઞાનમાં, પીટર લેન્ડિનનું જે ઓપરેટર એક પ્રોગ્રામિંગ રચના છે જે વર્તમાન લેમ્બડા-સંદર્ભને ચાલુ રાખીને લેમ્બડા અભિવ્યક્તિને પોસ્ટ-કંપોઝ કરે છે. પરિણામી "કાર્ય" પ્રથમ વર્ગનું છે અને તેને અનુગામી કાર્યોમાં પસાર કરી શકાય છે, જ્યાં જો લાગુ કરવામાં આવે તો તે તેનું પરિણામ તે કાર્યને ચાલુ રાખશે જેમાં તે બનાવવામાં આવ્યું હતું. ઇતિહાસ જે ઓપરેટર લેબલ બનાવવા માટે બનાવવામાં આવ્યું હતું અને પ્રથમ વર્ગ મૂલ્યમાં વધારો કરે છે. તે SECD મશીન સાથે નીચેના વધારાના સંક્રમણો સાથે કામ કરવા માટે ડિઝાઇન કરવામાં આવ્યું હતુંઃ {| વર્ગ = "વિકિટેબલ" | +! સંક્રમણ! થી! થી |-|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) લેન્ડિન, પી. જે., "લેબલ્સમાંથી મુક્તિ મેળવવી", UNIVAC S. P. સંશોધન અહેવાલ (જુલાઈ, 1965) લેન્ડિન, પી. જે., "પ્રોગ્રામિંગ ભાષાઓમાં સોંપણીનું વિશ્લેષણ", UNIVAC S. P. રિસર્ચ રિપોર્ટ (સપ્ટેમ્બર, 1965) લેન્ડિન, પી. જે., "એ જનરલાઈઝેશન ઓફ જમ્પ્સ એન્ડ લેબલ્સ", math.bas.bg (1998) બાય અન્યો 1965 ઇન કમ્પ્યુટિંગ કંટ્રોલ ફ્લો કન્ટિન્યુએશન્સ પ્રોગ્રામિંગ લેંગ્વેજ સિમેન્ટિક્સ