Getters และ Setters ในภาษาที่ใช้งานได้

หนึ่งในหลักของการเขียนโปรแกรมฟังก์ชั่นคือการใช้ฟังก์ชั่นบริสุทธิ์ ฟังก์ชั่น Pure เป็นฟังก์ชันที่ปราศจากผลข้างเคียงและโปร่งใสอ้างอิง

Gettersไม่โปร่งใสในการอ้างอิง - หาก Setter ถูกเรียกระหว่างการเรียกไปยัง Getter ค่าส่งคืนของ Getter จะเปลี่ยนแม้ว่าพารามิเตอร์จะไม่มี (โดยทั่วไปจะไม่มีพารามิเตอร์)

Settersสร้างผลข้างเคียง - การเรียก Setter โดยทั่วไปจะจัดการกับค่าที่ไม่ใช่ค่าส่งคืน (อันที่จริงแล้วโดยทั่วไปแล้ว Setter จะไม่ส่งคืนค่าใด ๆ )

ฉันรู้ว่าในสกาล่าเราแค่ยอมรับความจริงที่ว่าเรากำลังผสานสองกระบวนทัศน์ (เชิงหน้าที่และเชิงวัตถุ) และใช้ getters / setters ตามที่เราต้องการในภาษาเช่น Java

ในภาษาอย่าง Haskell (ซึ่งฉันไม่คล่องแคล่ว แต่ฉันบอกว่าถือเป็นภาษาที่ใช้งานได้จริง "บริสุทธิ์") ฉันแค่อยากรู้อยากเห็นว่าคุณจะจำลองคุณสมบัติของวัตถุเช่น Getters นั้นมีความโปร่งใสและ Setters ได้อย่างไร ผลข้างเคียงฟรีหรือไม่

วิธีการแก้ปัญหาจะส่งกลับสำเนาของวัตถุที่ setter ถูกเรียกเมื่อเป็นค่าส่งคืนของ setter และสำเนานี้มีการเปลี่ยนแปลงค่าทรัพย์สิน?

เผง ดูวิธีคลาสเคสcopyหรือแนวคิดทั่วไปของเลนส์

โดยเฉพาะอย่างยิ่งหากรัฐต้องการเปลี่ยนแปลงคุณจะต้องใช้ monad รัฐ การเปลี่ยนแปลงสถานะ monad นั้นสามารถทำได้ผ่านเลนส์ซึ่งทำให้สามารถดึงข้อมูลจาก "สถานะ" และเปลี่ยนได้ง่าย

ดูคำถามนี้เกี่ยวกับปัญหาทั่วไปที่มาจากโครงสร้างที่ลึกเช่น "สถานะ" และการเปลี่ยนแปลง คำตอบมีลิงค์ที่ดีเกี่ยวกับเลนส์และซิปถ้าคุณต้องการเจาะลึกลงไป

ใน Haskell วัตถุนั้นมักจะไม่เปลี่ยนรูปแบบดังนั้น getters (ซึ่งคุณได้รับเมื่อคุณใช้ไวยากรณ์ของเรคคอร์ด) หรือฟังก์ชั่นที่ทำหน้าที่เหมือน getters มีความโปร่งใสในการอ้างอิง และจากนั้นคุณจะไม่ "ตั้งค่า" บนวัตถุ - หากสิ่งใดก็ตามที่คุณสร้างวัตถุใหม่ซึ่งคล้ายกับวัตถุเก่า แต่มีค่าแตกต่างกันสำหรับหนึ่งในเขตข้อมูล นี่เป็นฟังก์ชั่นที่บริสุทธิ์

"Getters และ setters มีวัตถุเป็นพารามิเตอร์ - แม้ว่าโดยทั่วไปจะเป็นนัย - ดังนั้น getters จะอ้างอิงได้อย่างโปร่งใส - delnan"

หมายถึงโปร่งใสหมายถึงฟังก์ชั่นเสมอกลับผลลัพธ์เดียวกันสำหรับอินพุตเดียวกัน ดังนั้นหากมีการเปลี่ยนแปลงคุณลักษณะของวัตถุโดย setter คุณจะไม่ส่งคืนผลลัพธ์เดียวกัน :)