funciones externas en haskell?

Question

Me gustaría escribir un módulo que use una función para ser definida por el usuario. Por ejemplo:

module A 
(someFun) where 

someFun x = doSomethingWith externFun x 

Quisiera externFun a ser definido por el usuario, en el archivo de importación del módulo A. ¿Hay alguna manera? ¿O es solo una mala idea?

Podría, por supuesto, pasar ExternFun como argumento para algunos Fun, pero no parece muy conveniente: la función que se pasará sería la misma para cada llamada a algunos Fun.

Answer 1

Las otras respuestas son incorrectas: es es posible! Hay una extensión poco utilizada llamada ImplicitParams hecha exactamente para hacer esto. Por ejemplo:

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

En ghci:

Prelude *B> main 
12 

Voila! Más información en Hugs manual, GHC manual y Implicit Parameters: Dynamic Scoping with Static Types (PDF).

Answer 2

No, deberías tomar es como argumento. ¿Por qué crees que sería lo mismo para cada llamada? Funciona como cualquier otro argumento.

Answer 3

No, no puedes hacer esto. Pasarlo como argumento es el camino a seguir. Sin embargo, puede eliminar la repetición mediante el uso de una aplicación parcial. Sólo hacer algo como esto en el otro módulo:

import A (someFun) 
someFun' = someFun externFun 

Ahora puede utilizar someFun' todas partes en su lugar.