Là một hàm ngay lập tức không tinh khiết nếu nó lấy một hàm làm tham số?

Vì độ tinh khiết của một tham số đầu vào là không xác định cho đến khi thời gian chạy, nên một hàm ngay lập tức được coi là không tinh khiết nếu nó lấy một hàm làm tham số đầu vào?

Liên quan: nếu một hàm áp dụng một hàm thuần được xác định bên ngoài hàm, nhưng không được truyền vào dưới dạng tham số, liệu nó có còn thuần nếu nó đáp ứng các tiêu chí không có tác dụng phụ và đầu ra chỉ phụ thuộc vào đầu vào?

Đối với ngữ cảnh, tôi đang viết mã chức năng bằng JavaScript.

Miễn là tất cả các giá trị được sử dụng trong hàm chỉ được xác định bởi các tham số của nó, đó là một hàm thuần túy.

Khía cạnh đầu ra giống nhau mỗi lần cho cùng một đầu vào được kiểm soát bởi các tham số có thuần túy hay không. Nếu bạn giả sử các tham số (như một đối số hàm) cũng là thuần túy, thì nó là thuần túy.

Trong một ngôn ngữ như Javascript nơi độ tinh khiết không được thi hành, điều này có nghĩa là có thể tạo ra một hàm thuần túy khác có hành vi không tinh khiết bằng cách gọi một hàm không tinh khiết được truyền dưới dạng tham số.

Điều này có nghĩa là đối với các ngôn ngữ không thực thi độ tinh khiết (nghĩa là gần như tất cả), không thể định nghĩa một hàm thuần túy gọi các hàm được truyền dưới dạng đối số. Việc viết chúng thuần túy nhất có thể vẫn hữu ích và lý do về chúng là các hàm thuần túy, nhưng bạn phải thận trọng vì giả định rằng nó hoàn toàn sẽ bị phá vỡ nếu bạn đưa ra những lập luận sai.

Theo kinh nghiệm của tôi trong thực tế, điều này thường không phải là vấn đề lớn - tôi thấy hiếm khi các hàm không tinh khiết được sử dụng làm đối số hàm cho các hàm thuần túy.

Vì độ tinh khiết của một tham số đầu vào là không xác định cho đến khi thời gian chạy, nên một hàm ngay lập tức được coi là không tinh khiết nếu nó lấy một hàm làm tham số đầu vào?

Số mẫu:

function pure(other_function) {
    return 1;
}

Không quan trọng other_functionlà hàm thuần túy, hàm không tinh khiết hay không phải là hàm hoàn toàn. Các purechức năng là tinh khiết.

Ví dụ khác:

function identity(x) {
    return x;
}

Hàm này là thuần túy, ngay cả khi xlà hàm không tinh khiết. identity(impure_function)sẽ luôn trở lại impure_function, bất kể bạn lặp lại cuộc gọi bao nhiêu lần. Không quan trọng là identity(impure_function)()luôn trả lại cùng một thứ; một chức năng giá trị trả về giá trị trả về của không ảnh hưởng đến độ tinh khiết của nó.

Nói chung, nếu một hàm có thể gọi một hàm thì nó được truyền dưới dạng đối số, nó không thuần túy. Ví dụ, một chức năng function call(f) {f();}không thuần túy, bởi vì mặc dù nó không đề cập đến bất kỳ trạng thái toàn cầu hoặc đột biến nào, fcó thể là một cái gì đó giống như alertgây ra tác dụng phụ có thể nhìn thấy.

Nếu một hàm lấy các hàm làm đối số, nhưng nó không gọi chúng hoặc khiến chúng được gọi, thì nó có thể là thuần túy. Nó vẫn có thể không trong sạch nếu nó làm một số điều không tinh khiết khác. Ví dụ, function f(ignored_function) {alert('This isn't pure.');}là không tinh khiết, mặc dù nó không bao giờ gọi ignored_function.

Vì độ tinh khiết của một tham số đầu vào là không xác định cho đến khi thời gian chạy, nên một hàm ngay lập tức được coi là không tinh khiết nếu nó lấy một hàm làm tham số đầu vào?

Về mặt kỹ thuật, có, trừ khi có một số cách trong ngôn ngữ của bạn để đảm bảo rằng chức năng đầu vào cũng thuần túy.

nếu một hàm áp dụng một hàm thuần được xác định bên ngoài hàm, nhưng không được truyền vào dưới dạng tham số, thì nó vẫn thuần nếu nó đáp ứng các tiêu chí không có tác dụng phụ và đầu ra chỉ phụ thuộc vào đầu vào?

Đúng. Vì vậy, hãy tập trung vào những gì quan trọng ở đây. Gọi một chức năng thuần túy hoặc không hữu ích. Các hàm thuần túy rất hữu ích vì tạo ra cùng một đầu ra cho bất kỳ đầu vào nào và không phụ thuộc vào trạng thái hoặc có tác dụng phụ là một tập hợp các thuộc tính rất hữu ích. Điều đó có nghĩa là một khi chức năng của bạn đã được chạy, bạn có thể "nhớ" câu trả lời cho đầu vào đó và nó sẽ luôn luôn đúng. Bạn cũng không cần phải chạy lại chức năng để tạo hiệu ứng phụ. Và bạn có thể chạy chức năng đó song song (hoặc không theo thứ tự) với các chức năng khác và biết rằng chúng sẽ không có bất kỳ tương tác ẩn nào hoạt động xấu.

Các thuộc tính hữu ích đó vẫn giữ nếu hàm sử dụng các hàm chỉ đọc thuần túy khác để thực hiện công việc của nó, bất kể nó tham chiếu chúng như thế nào.

Như Telastyn đã nói: Về mặt kỹ thuật, có, trừ khi có một số cách trong ngôn ngữ của bạn để đảm bảo rằng chức năng đầu vào cũng thuần túy.

Đó không phải là giả thuyết, thực sự có nhiều cách tốt để đảm bảo điều này. Ít nhất là trong một ngôn ngữ đánh máy mạnh mẽ.

Một hàm ~ thuần túy như vậy bạn sẽ viết bằng JavaScript như

function foo(f) {
   return f(1) + 2;
}

có thể được dịch trực tiếp sang Haskell:

foo :: (Int -> Int) -> Int
foo f = f 1 + 2

Bây giờ, trong JavaScript, bạn có thể làm những thứ xấu xa như

js> foo (function(x) {console.log("muharhar"); return 0})
muharhar
2

Điều này là không thể trong Haskell . Lý do là, một cái gì đó có tác dụng phụ giống như console.log()luôn phải có một loại kết quả IO something, không chỉ somethingmột mình.

GHCi> foo (\x -> print "muarhar" >> return 0)

<interactive>:7:12:
    Couldn't match expected type ‘Int’ with actual type ‘IO b0’
    In the expression: print "muarhar" >> return 0
    In the first argument of ‘foo’, namely
      ‘(\ x -> print "muarhar" >> return 0)’
    In the expression: foo (\ x -> print "muarhar" >> return 0)

Để biểu thức này được đánh máy, chúng ta sẽ cần cung cấp foochữ ký loại

foo :: (Int -> IO Int) -> Int

Nhưng hóa ra tôi không thể thực hiện nó nữa: vì hàm đối số có IOtrong kết quả của nó, tôi không thể sử dụng nó trong foo.

<interactive>:8:44:
    Couldn't match expected type ‘Int’ with actual type ‘IO Int’
    In the first argument of ‘(+)’, namely ‘f 1’
    In the expression: f 1 + 2

Cách duy nhất tôi có thể sử dụng một IOhành động foolà nếu kết quả của chính nó foocó loại IO Int:

foo :: (Int -> IO Int) -> IO Int
foo f = do
   f1 <- f 1
   return (f1 + 2)

Nhưng tại thời điểm này, rõ ràng từ chữ ký của foonó cũng không phải là một chức năng thuần túy.

Không có nó không phải là.

Nếu hàm được truyền là không tinh khiết VÀ hàm của bạn gọi hàm được truyền thì hàm của bạn sẽ được coi là không trong sạch.

Mối quan hệ thuần túy / không tinh khiết giống như đồng bộ hóa / không đồng bộ trong JS. Bạn có thể tự do sử dụng mã thuần túy từ tạp chất, nhưng không phải là cách khác.