हैकेल में बाहरी कार्यों?

Question

मैं एक मॉड्यूल लिखना चाहता हूं जो उपयोगकर्ता द्वारा परिभाषित किए जाने वाले फ़ंक्शन का उपयोग करता है। उदाहरण के लिए:

module A 
(someFun) where 

someFun x = doSomethingWith externFun x 

मैं चाहूँगा externFun फ़ाइल मॉड्यूल ए आयात करने में, उपयोगकर्ता द्वारा परिभाषित किया जा करने के लिए वहाँ एक रास्ता है? या यह सिर्फ एक बुरा विचार है?

मैं निश्चित रूप से कुछ फ़न के लिए एक तर्क के रूप में externFun पास कर सकता हूं, लेकिन वहां यह बहुत सुविधाजनक नहीं दिखता है: प्रत्येक कॉल के लिए कुछ फ़ंक्शन पारित होने के लिए समान होगा।

Answer 1

अन्य उत्तरों गलत हैं: संभव है! ImplicitParams नामक एक छोटा-सा उपयोग किया गया है जो इसे करने के लिए बिल्कुल बनाया गया है। उदाहरण के लिए:

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

GHCi में:

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' हर जगह के बजाय का उपयोग कर सकते हैं।