เราจะใส่รหัส“ ถามโลก” เมื่อเราแยกการคำนวณจากผลข้างเคียงได้อย่างไร

ตามหลักการแบ่งแยกคำสั่งรวมถึงการคิดในข้อมูลและDDD ด้วยการนำเสนอClojureหนึ่งควรแยกผลข้างเคียง (แก้ไขโลก) จากการคำนวณและการตัดสินใจเพื่อให้ง่ายต่อการเข้าใจและทดสอบทั้งสองส่วน

นี่เป็นคำถามที่ยังไม่ได้ตอบ: เราควรใส่ "ถามโลก" ที่ไหน ในอีกด้านหนึ่งการร้องขอข้อมูลจากระบบภายนอก (เช่นฐานข้อมูล, บริการนอกระบบ 'APIs และอื่น ๆ ) นั้นไม่ได้อ้างอิงอย่างโปร่งใสดังนั้นจึงไม่ควรใช้ร่วมกับการคำนวณและการตัดสินใจที่บริสุทธิ์ ในทางกลับกันมันเป็นปัญหาหรืออาจเป็นไปไม่ได้ที่จะหยอกล้อพวกเขานอกเหนือจากส่วนการคำนวณและส่งผ่านเป็นอาร์กิวเมนต์เนื่องจากเราอาจไม่ทราบล่วงหน้าว่าต้องการข้อมูลใด

ในทางกลับกันมันเป็นปัญหาหรืออาจเป็นไปไม่ได้ที่จะหยอกล้อพวกเขานอกเหนือจากส่วนการคำนวณและส่งผ่านเป็นอาร์กิวเมนต์เนื่องจากเราอาจไม่ทราบล่วงหน้าว่าต้องการข้อมูลใด

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

ฟังก์ชั่นการสั่งซื้อที่สูงขึ้นซึ่งมีร่างกายที่บริสุทธิ์มีความบริสุทธิ์ที่บริสุทธิ์: http://books.google.co.th/books?id=Yb8azEfnDYgC&pg=PA143#v=onepage&q&f=false

ฉันได้เขียนเกี่ยวกับเรื่องนี้การเรียกใช้ฟังก์ชันประเภทนี้เป็นฟังก์ชันที่อาจบริสุทธิ์: http://adamjonrichardson.com/2014/01/13/potential-pure-functions/

หากคุณรวมฟังก์ชั่นที่อาจบริสุทธิ์เข้ากับฟังก์ชั่น fall-through (ซึ่งขาดการสร้างแบบแยกย่อยและทำน้อยที่สุด) ชุดที่ฉันเรียกชุดแยกคุณสามารถแยกผลข้างเคียงได้อย่างมีประสิทธิภาพและสร้างรหัสที่ทดสอบได้มาก: http: // adamjonrichardson.com/2014/01/15/isolating-side-effects-using-isolation-sets/

คุณเก็บผลลัพธ์ไว้ในชั้นเรียนซึ่งอาจดูแปลกไปในตอนแรก แต่จะทำให้ได้รหัสที่ง่ายขึ้น เช่นไม่มีตัวแปรชั่วคราวในผู้โทร

class database_querier
    feature -- queries
        was_previous_query_ok : boolean is
            do
                Result = …
            end

        previous_query_result : string is 
            requires
                was_previous_query_ok
            do
                Result = query_result
            end

    feature -- commands
        query_db (…) is
            do
                …
                query_result = bla
            end

    feature {none} --data
        query_result : string