Rumah Pembangunan Apakah ketelusan rujukan? - definisi dari techopedia

Apakah ketelusan rujukan? - definisi dari techopedia

Isi kandungan:

Anonim

Definisi - Apakah maksud Transparansi Rujukan?

Ketelusan rujukan adalah harta bahagian tertentu dari suatu program atau bahasa pengaturcaraan, terutamanya bahasa pengaturcaraan fungsional seperti Haskell dan R. Ungkapan dalam suatu program dikatakan secara transparan secara jelas jika ia boleh digantikan dengan nilainya dan tingkah laku yang dihasilkan sama seperti sebelum perubahan. Ini bermakna bahawa tingkah laku program tidak berubah sama ada input yang digunakan adalah rujukan atau nilai sebenarnya yang dirujuk oleh rujukan itu.

Techopedia menerangkan Ketelusan Rujukan

Ketelusan rujuk mempunyai akar dalam falsafah analitik, yang merupakan cabang falsafah yang mengkaji pembinaan bahasa semulajadi, hujah dan pernyataan berdasarkan kaedah matematik dan logik dan tidak mempunyai kaitan dengan pengaturcaraan, walaupun ia telah diterima pakai oleh saintis komputer.

Konsepnya mudah, "rujukan, " perkara yang dinyatakan oleh ungkapan, boleh digunakan untuk menggantikan "perujuk" tanpa mengubah makna ekspresi. Sebagai contoh, kenyataan "bapa Lukas adalah seorang yang jahat, " "bapa Luke" rujukan "Darth Vader" dalam cerita Star Wars. Oleh itu, pernyataan itu secara jelasnya telus sejak "bapa Lukas" boleh digantikan pada bila-bila masa dengan "Darth Vader" dan pernyataan itu tidak akan berubah dalam makna. Walau bagaimanapun, dalam pernyataan "penonton tidak tahu sehingga 'The Empire Strikes Back' bahawa bapa Lukas sebenarnya Darth Vader" bukan ungkapan yang telus secara rasional kerana jika "bapa Lukas" digantikan dengan "Darth Vader" ungkapan itu menjadi " penonton tidak tahu sehingga 'The Empire Strikes Back' yang Darth Vader sebenarnya Darth Vader, "yang mempunyai makna yang sama sekali berbeza.

Sehubungan dengan pengaturcaraan, konsep ini pada pandangan pertama sama, tetapi banyak ahli falsafah tidak setuju bahawa konsep itu dilaksanakan atau dijalankan dengan lebih baik dalam bahasa pengaturcaraan. Tetapi dalam pengaturcaraan umum, ini hanya bermakna ungkapan boleh digantikan dengan nilai yang terhasil tanpa memberi kesan kepada tingkah laku program. Sebagai contoh, fungsi tambahOne (x) hanya menambahkan satu kepada apa sahaja nilai x, jadi jika kita tahu bahawa x = 5 maka kita dapat dengan selamat menggantikan fungsi dengan nilai 6 dalam ungkapan yang menghasilkan kelakuan yang sama apabila menggunakan plusOne (x). Tetapi jika terdapat pemboleh ubah luar dalam ungkapan yang dikawal secara luaran, katakan dalam fungsi plusY (x) di mana Y dalam fungsi itu dikawal secara luaran, tingkah laku yang dihasilkan mungkin tidak sama - dalam kes ini, ini tidak bersifat transparan ungkapan.

Apakah ketelusan rujukan? - definisi dari techopedia