関数haskellのextern関数？

Question

ユーザーが定義する関数を使用するモジュールを作成したいと思います。例：

module A 
(someFun) where 

someFun x = doSomethingWith externFun x 

モジュールAをインポートするファイルで、externFunをユーザーが定義したいと思いますか？それとも悪い考えですか？

私はもちろんsomeFunの引数としてexternFunを渡すことができますが、それは非常に便利ではありません。渡される関数はsomeFunの呼び出しごとに同じになります。

Answer 1

他の回答は間違っています：はです！これを行うためにちょうど作られたImplicitParamsというちょっとした拡張があります。たとえば、次のGHCiの中

-- 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*) 

：

Prelude *B> main 
12 

出来上がり！ Hugs manual、GHC manual、およびImplicit Parameters: Dynamic Scoping with Static Types (PDF)の詳細については、

Answer 2

いいえ、あなたは議論として取るべきです。なぜあなたはそれがそれぞれの呼び出しで同じになると思いますか？それは他の議論のように機能します。

Answer 3

いいえ、できません。議論としてそれを渡すことは行く方法です。ただし、部分的なアプリケーションを使用して反復を排除できます。

import A (someFun) 
someFun' = someFun externFun 

今、あなたの代わりにどこでもsomeFun'を使用することができます。ただ、他のモジュールでは、このような何かを行います。