Nơi nào chúng ta đặt ra câu hỏi về mã thế giới khi chúng ta tách tính toán khỏi các tác dụng phụ?

Theo nguyên tắc phân tách truy vấn lệnh , cũng như suy nghĩ về dữ liệu và DDD với các bài thuyết trình Clojure, người ta nên tách các tác dụng phụ (sửa đổi thế giới) khỏi các tính toán và quyết định, để dễ hiểu và kiểm tra cả hai phần.

Điều này để lại một câu hỏi chưa được trả lời: chúng ta nên đặt "hỏi thế giới" ở đâu? Một mặt, việc yêu cầu dữ liệu từ các hệ thống bên ngoài (như cơ sở dữ liệu, API của dịch vụ ngoại vi, v.v.) không được minh bạch về mặt tham chiếu và do đó không nên ngồi cùng với mã tính toán và ra quyết định thuần túy. Mặt khác, nó có vấn đề hoặc có thể không thể trêu chọc họ ngoài phần tính toán và chuyển nó thành một đối số vì chúng tôi có thể không biết trước dữ liệu nào chúng tôi có thể cần yêu cầu.

Mặt khác, nó có vấn đề hoặc có thể không thể trêu chọc họ ngoài phần tính toán và chuyển nó thành một đối số vì chúng tôi có thể không biết trước dữ liệu nào chúng tôi có thể cần yêu cầu.

Đây là một ví dụ trong đó, như đã lưu ý trong các nhận xét, truyền vào khả năng truy xuất dữ liệu (ví dụ: chức năng hạng nhất, một đối tượng thực hiện giao diện, v.v.) cung cấp một cơ chế thuận tiện để cô lập các tác dụng phụ.

Hàm bậc cao hơn có cơ thể thuần khiết có độ tinh khiết không trộn lẫn: http://books.google.com.vn/books?id=Yb8azEfnDYgC&pg=PA143#v=onepage&q&f=false

Tôi đã viết về điều này, gọi loại chức năng này là một chức năng có khả năng thuần túy: http://adamjonrichardson.com/2014/01/13/potively-pure-fifts/

Nếu bạn kết hợp một hàm có khả năng thuần túy với các hàm rơi (thiếu các cấu trúc phân nhánh và làm ít nhất có thể), một tổ hợp tôi gọi là các bộ cách ly, bạn có thể cách ly các hiệu ứng phụ khá hiệu quả và tạo mã rất dễ kiểm tra: http: // adamjonrichardson.com/2014/01/15/isolating-side-effects-USE-isolation-sets/

Bạn lưu trữ kết quả trong lớp, điều này có vẻ hơi lạ lúc đầu, nhưng không dẫn đến mã đơn giản hơn. ví dụ không có biến tạm thời trong người gọi

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