สารบัญ:
คำจำกัดความ - ความโปร่งใสในการอ้างอิงคืออะไร
Referential transparent เป็นคุณสมบัติของส่วนเฉพาะของโปรแกรมหรือภาษาการเขียนโปรแกรมโดยเฉพาะอย่างยิ่งภาษาการเขียนโปรแกรมที่ใช้งานได้เช่น Haskell และ R การแสดงออกในโปรแกรมนั้นมีความโปร่งใส referential ถ้ามันสามารถถูกแทนที่ด้วยค่าของมันและพฤติกรรมที่เกิดขึ้นคือ เช่นเดียวกับก่อนการเปลี่ยนแปลง ซึ่งหมายความว่าพฤติกรรมของโปรแกรมจะไม่เปลี่ยนแปลงไม่ว่าจะเป็นอินพุทที่ใช้เป็นการอ้างอิงหรือค่าจริงที่การอ้างอิงนั้นชี้ไป
Techopedia อธิบายความโปร่งใสในการอ้างอิง
ความโปร่งใสในการอ้างอิงมีรากฐานมาจากปรัชญาการวิเคราะห์ซึ่งเป็นสาขาหนึ่งของปรัชญาที่ศึกษาการสร้างภาษาธรรมชาติการโต้แย้งและคำแถลงบนพื้นฐานของวิธีการทางคณิตศาสตร์และตรรกศาสตร์และมีส่วนเกี่ยวข้องกับการเขียนโปรแกรมเพียงเล็กน้อย
แนวคิดง่าย ๆ คือ "ผู้อ้างอิง" สิ่งที่นิพจน์อ้างถึงสามารถนำมาใช้แทน "ผู้อ้างอิง" โดยไม่เปลี่ยนความหมายของนิพจน์ ตัวอย่างเช่นคำว่า "พ่อของลุคเป็นคนชั่วร้าย" "พ่อของลุค" อ้างอิง "ดาร์ ธ เวเดอร์" ในตำนานสตาร์วอร์ส ดังนั้นข้อความจึงมีความโปร่งใสในการอ้างอิงเนื่องจาก "บิดาของลุค" สามารถถูกแทนที่ได้ตลอดเวลาด้วย "Darth Vader" และคำแถลงจะไม่เปลี่ยนแปลงในความหมาย อย่างไรก็ตามในคำแถลงว่า "ผู้ชมไม่ทราบจนกว่า 'The Empire Strikes Back' ว่าพ่อของลุคคือดาร์ ธ เวเดอร์จริง ๆ " ไม่ใช่การแสดงออกที่โปร่งใสแบบอ้างอิงเนื่องจากถ้า "พ่อของลุค" ถูกแทนที่ด้วย "ดาร์ ธ เวเดอร์" ผู้ชมไม่ทราบจนกระทั่ง 'The Empire Strikes Back' ที่ Darth Vader เป็นจริง Darth Vader "ซึ่งมีความหมายที่แตกต่างกันโดยสิ้นเชิง
ในความสัมพันธ์กับการเขียนโปรแกรมแนวความคิดเป็นอย่างรวดเร็วเหมือนกันครั้งแรก แต่นักปรัชญาหลายคนไม่เห็นด้วยกับแนวคิดที่มีการใช้งานหรือดำเนินการอย่างดีในภาษาการเขียนโปรแกรม แต่ในการเขียนโปรแกรมทั่วไปนี่หมายถึงว่านิพจน์สามารถถูกแทนที่ด้วยค่าผลลัพธ์โดยไม่ส่งผลกระทบต่อพฤติกรรมของโปรแกรม ตัวอย่างเช่นฟังก์ชั่น plusOne (x) เพียงแค่เพิ่มหนึ่งเข้าไปในสิ่งที่ค่าของ x คือดังนั้นถ้าเรารู้ว่า x = 5 จากนั้นเราสามารถแทนที่ฟังก์ชั่นได้อย่างปลอดภัยด้วยค่า 6 ในนิพจน์ซึ่งให้พฤติกรรมเหมือนกันเมื่อใช้ plusOne (x) แต่ถ้ามีตัวแปรภายนอกภายในนิพจน์ที่ควบคุมจากภายนอกให้พูดในฟังก์ชัน plusY (x) โดยที่ Y ภายในฟังก์ชันนั้นถูกควบคุมจากภายนอกพฤติกรรมที่เกิดขึ้นอาจไม่เหมือนกัน - ในกรณีนี้นี่ไม่ใช่การอ้างอิงที่โปร่งใส การแสดงออก
