Đóng cửa (trong Haskell)

Question

Với tôi một Closure là một hàm (lồng nhau?) Với dữ liệu đồng vị trí.

Khi bạn viết phần mềm trong Haskell và xem qua phần sau, bạn thường xuyên tìm thấy các bao đóng mà bạn đã tạo không chủ ý.

Tôi hoàn toàn không nhận được quyền này cho bản thân mình. Trong trường hợp nào tôi cố ý muốn đóng mã? Xét cho cùng, trong tất cả các ví dụ, tôi thấy số lượng dữ liệu đồng vị là tầm thường/nhỏ và do đó nó không hoàn toàn giống với tôi như thể trong thực tế có thể biện minh cho sự sáng tạo (cố ý) của họ. Có mô-đun Haskell nào hỗ trợ tôi trong việc cố ý tạo các bao đóng và ví dụ: lưu trữ chúng trong một bản đồ?

Answer 1

Trong Haskell, các chức năng là một phần thiết yếu của ngôn ngữ, chủ yếu là do Haskell dựa trên Lambda Calculus.

Trong phép tính Lambda, có các hàm có "biến tự do", có nghĩa là chúng sử dụng các biến không được chuyển thành tham số trực tiếp cho chúng. Các hàm có biến miễn phí là những gì bạn sẽ gọi là "đóng cửa" trong trường hợp này.

Bởi vì các hàm có biến miễn phí rất phổ biến trong LC, chúng cũng là một phần không thể tách rời của ngôn ngữ Haskell. Ví dụ, khi bạn viết này:

f a b c = a * b + c 

... bạn cũng có thể viết những dòng này, với cùng một kết quả chính xác:

f a b = \ c -> a * b + c 

... hay thậm chí là:

f a b = let product = a * b in \ c -> product + c 

... các thay đổi tương đương khác:

f a = \ b -> let product = a * b in \ c -> product + c 

Điều này là do Haskell về cơ bản tạo ra các chức năng với các biến miễn phí ở mọi nơi, và do đó, các bao đóng được tạo ra mọi lúc. Một số trong số này có thể được tối ưu hóa bởi trình biên dịch, nhưng nó là an toàn để giả định rằng sẽ có nhiều bao đóng được sử dụng hơn bao giờ bạn có thể tự mình khám phá.

Vì vậy, đừng cố định vị trí đóng cửa; chúng không có gì đặc biệt trong Haskell và được sử dụng mọi lúc.

Answer 2

Thông thường, nếu tôi cần tính toán trước các bảng hoặc một cái gì đó cho một hàm, hoặc có một hàm đòi hỏi nhiều dữ liệu, vâng, điều đó sẽ được thực hiện như là một đóng. Ví dụ, trên bài tập về nhà AI của tôi ngày hôm kia, tôi đã viết một điều học được từ rất nhiều mẫu và sau đó bật ra một hàm (Point -> Bool), nhưng hàm đó phải phụ thuộc vào rất nhiều dữ liệu mà tôi đã tích luỹ từ quá trình học tập .