คำว่า "การอ้างอิงโปร่งใส" มาจากปรัชญาการวิเคราะห์สาขาวิชาปรัชญาที่วิเคราะห์การสร้างภาษาธรรมชาติคำแถลงและข้อโต้แย้งตามวิธีการของตรรกะและคณิตศาสตร์ ในคำอื่น ๆ ก็เป็นเรื่องวิทยาศาสตร์คอมพิวเตอร์นอกใกล้เคียงกับสิ่งที่เราเรียกว่าการเขียนโปรแกรมภาษาความหมาย นักปรัชญาWillard Quineมีหน้าที่รับผิดชอบในการเริ่มต้นแนวคิดของความโปร่งใสในการอ้างอิง แต่มันก็เป็นนัยในแนวทางของ Bertrand Russell และ Alfred Whitehead
หัวใจของ "การอ้างอิงโปร่งใส" เป็นแนวคิดที่ง่ายและชัดเจน คำว่า "อ้างอิง" ถูกนำมาใช้ในปรัชญาการวิเคราะห์เพื่อพูดคุยเกี่ยวกับสิ่งที่แสดงออกหมายถึง มันเป็นสิ่งเดียวกับสิ่งที่เราหมายถึงโดย "ความหมาย" หรือ "denotation" ในความหมายของการเขียนโปรแกรมภาษา ใช้ตัวอย่างของ Andrew Birkett ( บล็อกโพสต์ ) คำว่า "เมืองหลวงของสกอตแลนด์" หมายถึงเมืองเอดินเบอระ นั่นเป็นตัวอย่างที่ชัดเจนของ "ผู้อ้างอิง"
บริบทในประโยคคือ "โปร่งใสอ้างอิง" ถ้าแทนที่คำในบริบทนั้นด้วยคำอื่นที่อ้างถึงหน่วยงานเดียวกันไม่ได้เปลี่ยนความหมาย ตัวอย่างเช่น
รัฐสภาสกอตแลนด์พบกันที่เมืองหลวงของสกอตแลนด์
หมายถึงเช่นเดียวกับ
รัฐสภาสกอตแลนด์พบกันที่เอดินเบิร์ก
บริบท "รัฐสภาสก็อตพบใน ... " จึงเป็นบริบทที่โปร่งใสอ้างอิง เราสามารถแทนที่ "เมืองหลวงแห่งสกอตแลนด์" ด้วย "Edinburgh" โดยไม่เปลี่ยนความหมาย หากต้องการกล่าวอีกนัยหนึ่งบริบทจะสนใจเฉพาะสิ่งที่คำนั้นอ้างถึงและไม่มีอะไรอื่น นั่นคือความหมายที่บริบทมี "การอ้างอิงที่โปร่งใส"
ในทางกลับกันในประโยค
เอดินบะระเป็นเมืองหลวงของสกอตแลนด์มาตั้งแต่ปี 2542
เราไม่สามารถทำสิ่งทดแทนได้ ถ้าเราทำเราจะได้ "เอดินเบิร์กมาเป็นเอดินเบิร์กตั้งแต่ปี 2542" ซึ่งเป็นสิ่งที่ควรพูดและไม่ได้สื่อความหมายเหมือนประโยคเดิม ดังนั้นจึงดูเหมือนว่าบริบท "เอดินเบิร์กเป็น ... ตั้งแต่ปี 1999" นั้นทึบแสงแบบอ้างอิง (ตรงกันข้ามกับความโปร่งใสแบบอ้างอิง) เห็นได้ชัดว่ามันสนใจบางสิ่งมากกว่าคำที่อ้างถึง มันคืออะไร?
สิ่งต่าง ๆ เช่น "เมืองหลวงของสกอตแลนด์" เรียกว่าคำศัพท์ที่ชัดเจนและพวกเขาไม่ได้ปวดหัวกับนักลอจิสติกและนักปรัชญามานาน รัสเซลและควินจัดเรียงพวกเขาออกมาบอกว่าพวกเขาไม่ใช่ "อ้างอิง" จริง ๆ แล้วมันคือความผิดพลาดที่จะคิดว่าตัวอย่างข้างต้นใช้เพื่ออ้างถึงเอนทิตี้ของ วิธีที่ถูกต้องในการทำความเข้าใจ "เอดินเบิร์กเป็นเมืองหลวงของสกอตแลนด์มาตั้งแต่ปี 2542" คือการพูด
สกอตแลนด์มีเมืองหลวงมาตั้งแต่ปี 1999 และเมืองหลวงนั้นคือเอดินเบอระ
ประโยคนี้ไม่สามารถเปลี่ยนเป็นประโยคที่บ้าได้ แก้ไขปัญหา! ประเด็นของควินคือการพูดว่าภาษาธรรมชาตินั้นยุ่งเหยิงหรืออย่างน้อยก็มีความซับซ้อนเพราะมันถูกสร้างขึ้นเพื่อความสะดวกในการใช้งานจริง แต่นักปรัชญาและนักตรรกวิทยาควรนำความชัดเจนมาทำความเข้าใจโดยวิธีที่ถูกต้อง ความโปร่งใสอ้างอิงเป็นเครื่องมือที่จะใช้สำหรับนำความชัดเจนของความหมายดังกล่าว
สิ่งทั้งหมดนี้เกี่ยวกับการเขียนโปรแกรม? ไม่มากจริง ๆ ที่เรากล่าวว่าโปร่งใสอ้างอิงเป็นเครื่องมือที่จะนำมาใช้ในภาษาเข้าใจคือในการกำหนดความหมาย Christopher Stracheyผู้ก่อตั้งสาขาความหมายของภาษาโปรแกรมใช้ในการศึกษาความหมายของเขา กระดาษพื้นฐานของเขา " แนวคิดพื้นฐานในภาษาโปรแกรม " มีอยู่บนเว็บ มันเป็นกระดาษที่สวยงามและทุกคนสามารถอ่านและเข้าใจได้ ดังนั้นโปรดทำเช่นนั้น คุณจะรู้แจ้งมาก เขาแนะนำคำว่า "การอ้างอิงโปร่งใส" ในย่อหน้านี้:
หนึ่งในคุณสมบัติที่มีประโยชน์ที่สุดของนิพจน์คือความโปร่งใสในการอ้างอิงของ Quine ในสาระสำคัญนี้หมายความว่าถ้าเราต้องการที่จะหาค่าของการแสดงออกซึ่งมีการแสดงออกย่อยสิ่งเดียวที่เราต้องรู้เกี่ยวกับการแสดงออกย่อยคือค่าของมัน คุณสมบัติอื่น ๆ ของนิพจน์ย่อยเช่นโครงสร้างภายในจำนวนและลักษณะของส่วนประกอบลำดับของสิ่งที่พวกเขาได้รับการประเมินหรือสีของหมึกที่พวกเขาเขียนนั้นไม่เกี่ยวข้องกับค่าของหลัก การแสดงออก
การใช้ "ในสาระสำคัญ" แสดงให้เห็นว่า Strachey ถอดความมันเพื่ออธิบายในแง่ง่าย ๆ โปรแกรมเมอร์ฟังก์ชั่นดูเหมือนจะเข้าใจวรรคนี้ในทางของตัวเอง มีการอ้างอิง "ความโปร่งใสอ้างอิง" อีก 9 เหตุการณ์ในกระดาษ แต่ดูเหมือนว่าพวกเขาจะไม่สนใจคนอื่น ในความเป็นจริงกระดาษทั้ง Strachey ทุ่มเทให้กับการอธิบายความหมายของการเขียนโปรแกรมภาษาจำเป็น แต่ในปัจจุบันผู้เขียนโปรแกรมที่ใช้งานได้อ้างว่าภาษาการเขียนโปรแกรมที่จำเป็นนั้นไม่มีความโปร่งใสในการอ้างอิง Strachey จะเปลี่ยนในหลุมฝังศพของเขา
เราสามารถกอบกู้สถานการณ์ได้ เราบอกว่าภาษาธรรมชาตินั้น "ยุ่งหรืออย่างน้อยก็ซับซ้อน" เพราะมันถูกสร้างขึ้นเพื่อความสะดวกในการใช้งานจริง ภาษาการเขียนโปรแกรมเป็นวิธีเดียวกัน พวกเขา "ยุ่งหรืออย่างน้อยก็ซับซ้อน" เพราะพวกเขาถูกสร้างขึ้นเพื่อความสะดวกในการใช้งานจริง นั่นไม่ได้หมายความว่าพวกเขาต้องทำให้เราสับสน พวกเขาต้องเข้าใจถูกวิธีโดยใช้เมตาดาต้าที่มีความโปร่งใสในการอ้างอิงเพื่อให้เรามีความชัดเจนในความหมาย ในเอกสารที่ฉันอ้างถึง Strachey ทำอย่างนั้น เขาอธิบายความหมายของภาษาการเขียนโปรแกรมที่จำเป็นโดยการแบ่งพวกเขาออกเป็นแนวคิดพื้นฐานไม่เคยสูญเสียความชัดเจนทุกที่ ส่วนสำคัญของการวิเคราะห์ของเขาคือการชี้ให้เห็นว่าการแสดงออกในภาษาการเขียนโปรแกรมมี "ค่า" สองชนิดR ค่า ก่อนที่กระดาษของ Strachey จะไม่เข้าใจและสับสนมากที่สุด วันนี้คำจำกัดความของ C กล่าวถึงเป็นประจำและโปรแกรมเมอร์ C ทุกคนเข้าใจความแตกต่าง (ไม่ว่าโปรแกรมเมอร์ในภาษาอื่นจะเข้าใจดีหรือไม่ก็ยากที่จะพูด)
ทั้ง Quine และ Strachey เกี่ยวข้องกับความหมายของการสร้างภาษาที่เกี่ยวข้องกับการพึ่งพาบริบทบางรูปแบบ ตัวอย่างเช่นตัวอย่าง "เอดินเบิร์กเป็นเมืองหลวงของสกอตแลนด์มาตั้งแต่ปี 2542" บ่งบอกถึงความจริงที่ว่า "เมืองหลวงแห่งสกอตแลนด์" ขึ้นอยู่กับเวลาที่พิจารณา การพึ่งพาบริบทดังกล่าวเป็นจริงทั้งในภาษาธรรมชาติและภาษาโปรแกรม แม้ในการเขียนโปรแกรมเชิงฟังก์ชันตัวแปรอิสระและขอบเขตจะถูกตีความโดยคำนึงถึงบริบทที่ปรากฏขึ้นการพึ่งพาบริบทของบล็อกชนิดใดก็ตามที่อ้างอิงโปร่งใสในบางวิธีหรืออย่างอื่น หากคุณพยายามที่จะเข้าใจความหมายของคำศัพท์โดยไม่คำนึงถึงบริบทที่พวกเขาต้องพึ่งพาคุณจะต้องสับสนอีกครั้ง Quine เกี่ยวข้องกับความหมายของตรรกะโมดอล เขาถือได้ว่าตรรกะโมดัลเป็นแบบทึบแสงแบบอ้างอิงและควรทำความสะอาดโดยการแปลเป็นกรอบโปร่งใสแบบอ้างอิง (เช่นโดยคำนึงถึงความจำเป็นเท่าที่สามารถพิสูจน์ได้) เขาส่วนใหญ่สูญเสียการอภิปรายนี้ นักตรรกวิทยาและนักปรัชญาพบว่าความหมายของ Kripke ที่เป็นไปได้ในโลกนั้นเพียงพอแล้ว สถานการณ์ที่คล้ายกันก็ขึ้นอยู่กับการเขียนโปรแกรมที่จำเป็น การพึ่งพารัฐอธิบายโดย Strachey และการพึ่งพาอาศัยร้านค้าที่อธิบายโดย Reynolds (ในลักษณะที่คล้ายคลึงกับความหมายโลกของ Kripke ที่เป็นไปได้) นั้นเพียงพอแล้ว โปรแกรมเมอร์ที่ใช้งานได้ไม่ค่อยรู้จักงานวิจัยนี้มากนัก ความคิดของพวกเขาเกี่ยวกับความโปร่งใสในการอ้างอิงจะถูกนำมาพร้อมกับเม็ดเกลือขนาดใหญ่
[หมายเหตุเพิ่มเติม: ตัวอย่างด้านบนแสดงให้เห็นว่าวลีง่ายๆเช่น "เมืองหลวงแห่งสกอตแลนด์" มีความหมายหลายระดับ ในระดับหนึ่งเราอาจพูดถึงทุนในเวลาปัจจุบัน ในอีกระดับหนึ่งเราอาจพูดถึงเมืองหลวงที่เป็นไปได้ทั้งหมดซึ่งสกอตแลนด์อาจผ่านมาในช่วงเวลาหนึ่ง เราสามารถ "ซูมเข้า" บริบทเฉพาะและ "ย่อ" เพื่อขยายบริบททั้งหมดได้อย่างง่ายดายในการปฏิบัติตามปกติ ประสิทธิภาพของภาษาธรรมชาติใช้ประโยชน์จากความสามารถของเราในการทำเช่นนั้น ภาษาโปรแกรมเชิงซ้อนนั้นมีประสิทธิภาพในลักษณะเดียวกัน เราสามารถใช้ตัวแปรxทางด้านขวามือของการมอบหมาย ( r-value ) เพื่อพูดคุยเกี่ยวกับค่าของมันในสถานะเฉพาะ หรือเราอาจพูดถึงค่า lซึ่งครอบคลุมทุกรัฐ ผู้คนมักไม่ค่อยสับสนกับเรื่องแบบนี้ อย่างไรก็ตามพวกเขาอาจจะหรืออาจจะไม่สามารถอธิบายทุกชั้นของความหมายที่มีอยู่ในโครงสร้างภาษา เลเยอร์ความหมายทั้งหมดไม่จำเป็นต้อง 'ชัดเจน' และเป็นเรื่องของวิทยาศาสตร์ที่จะศึกษาอย่างเหมาะสม อย่างไรก็ตามความไม่เป็นทางการของคนธรรมดาที่จะอธิบายความหมายแบบเลเยอร์ดังกล่าวไม่ได้หมายความว่าพวกเขาสับสนกับพวกเขา]
แยก "วรรณกรรม" ด้านล่างที่เกี่ยวข้องกับการสนทนานี้ความกังวลของการเขียนโปรแกรมการทำงานและความจำเป็น