Talaan ng mga Nilalaman:
- Kahulugan - Ano ang ibig sabihin ng Referential Transparency?
- Ipinapaliwanag ng Techopedia ang Referential Transparency
Kahulugan - Ano ang ibig sabihin ng Referential Transparency?
Ang referral na transparency ay isang pag-aari ng isang tiyak na bahagi ng isang programa o isang programming language, lalo na ang mga functional na wika ng programming tulad ng Haskell at R. Ang isang expression sa isang programa ay sinasabing referrally transparent kung maaari itong mapalitan ng halaga nito at ang nagresultang pag-uugali ay katulad ng bago ang pagbabago. Nangangahulugan ito na ang pag-uugali ng programa ay hindi binago kung ang ginamit na input ay isang sanggunian o isang aktwal na halaga na tinutukoy ng sanggunian.
Ipinapaliwanag ng Techopedia ang Referential Transparency
Ang referral na transparency ay may mga ugat nito sa analitikong pilosopiya, na isang sangay ng pilosopiya na nag-aaral ng mga likas na konstruksyon ng wika, argumento at pahayag batay sa mga pamamaraan ng matematika at lohika at may kaunting kinalaman sa pagprograma, kahit na ito ay pinagtibay ng mga siyentipiko sa computer.
Ang konsepto ay simple, ang "referent, " ang bagay na tinutukoy ng isang expression, ay maaaring magamit upang mapalitan ang "referrer" nang hindi binabago ang kahulugan ng expression. Halimbawa, ang pahayag na "Ang ama ni Luke ay isang masamang tao, " "ang ama ni Luke" ay sumangguni "Darth Vader" sa Star Wars lore. Kaya ang pahayag ay malinaw na malinaw dahil ang "ama ni Luke" ay maaaring mapalitan kahit kailan sa "Darth Vader" at ang pahayag ay hindi magbabago ng kahulugan. Gayunpaman, sa pahayag na "ang madla ay hindi alam hanggang sa 'The Empire Strikes Back' na ang tatay ni Luke ay tunay na si Darth Vader" ay hindi isang referrally transparent expression dahil kung "ang ama ni Luke" ay pinalitan ng "Darth Vader" ang expression ay " hindi alam ng madla hanggang sa 'The Empire Strikes Back' na ang Darth Vader ay tunay na Darth Vader, "na may lubos na naiibang kahulugan.
Kaugnay ng programming, ang konsepto ay sa unang sulyap pareho, ngunit maraming mga pilosopo na hindi sumasang-ayon na ang konsepto ay ipinatutupad o dinala nang maayos sa mga wikang programming. Ngunit sa pangkalahatang programa, nangangahulugan lamang ito na ang isang expression ay maaaring mapalitan ng nagresultang halaga nito nang walang epekto sa pag-uugali ng programa. Halimbawa, ang pag-andar plusOne (x) ay nagdaragdag lamang ng isa sa kung ano ang halaga ng x ay, kaya kung alam natin na x = 5 pagkatapos ay ligtas nating mapalitan ang pagpapaandar sa halaga 6 sa isang expression na magbibigay ng parehong pag-uugali kapag gumagamit ng plusOne (x). Ngunit kung mayroong isang panlabas na variable sa loob ng expression na kinokontrol sa panlabas, sabihin sa function plusY (x) kung saan ang Y sa loob ng pag-andar ay kinokontrol sa labas, ang nagresultang pag-uugali ay maaaring hindi pareho - sa kasong ito hindi ito isang referrally na transparent expression.
