chức năng bên ngoài trong haskell?

Question

Tôi muốn viết một mô-đun sử dụng một chức năng được xác định bởi người dùng. Ví dụ:

module A 
(someFun) where 

someFun x = doSomethingWith externFun x 

Tôi muốn người dùng định nghĩa externFun, trong tệp nhập mô-đun A. Có cách nào không? Hay nó chỉ là một ý tưởng tồi?

Tất nhiên tôi có thể chuyển externFun làm đối số cho someFun, nhưng ở đó không có vẻ rất tiện lợi: hàm được truyền sẽ giống nhau cho mỗi cuộc gọi đến someFun.

Answer 1

Các câu trả lời khác là sai: nó là có thể! Có một phần mở rộng được sử dụng ít được gọi là ImplicitParams được tạo chính xác để thực hiện việc này. Ví dụ:

-- A.hs 
{-# LANGUAGE ImplicitParams #-} 
module A where 
someFun x = ?externFun (?externFun x) 

-- B.hs 
{-# LANGUAGE ImplicitParams #-} 
module B where 
import A 
main = print (someFun 3) where 
    ?externFun = (2*) 

Trong ghci:

Prelude *B> main 
12 

Voila! Thông tin khác trong số Hugs manual, số GHC manual và Implicit Parameters: Dynamic Scoping with Static Types (PDF).

Answer 2

Không, bạn nên thực hiện như một đối số. Tại sao bạn nghĩ rằng nó sẽ giống nhau cho mỗi cuộc gọi? Nó hoạt động giống như bất kỳ đối số nào khác.

Answer 3

Không, bạn không thể thực hiện việc này. Vượt qua nó như một đối số là con đường để đi. Tuy nhiên, bạn có thể loại bỏ sự lặp lại bằng cách sử dụng một phần ứng dụng. Chỉ cần làm điều gì đó như thế này trong mô-đun khác:

import A (someFun) 
someFun' = someFun externFun 

Bây giờ bạn có thể sử dụng someFun' ở mọi nơi thay thế.