हास्केल

Question

में एक लैम्ब्डा समारोह पुनर्प्रयोग मैं कर रहा हूँ चाहिए इस कोड को लेने के लिए:

f x y z = x^3 - g (x + g (y - g z) + g (z^2)) 
where g x = 2*x^2 + 10*x + 1 

और बिना जहां यह फिर से लिखने (या नहीं)।

वे एक लैम्ब्डा समारोह के साथ इसे लिखने के लिए मतलब (\ एक्स -> ...)

मैं हास्केल पर एक लैम्ब्डा समारोह का पुन: उपयोग करने के लिए कोशिश कर रहा हूँ। कोई विचार?

Answer 1

पर

bravit संकेत के रूप में, आप निम्नलिखित तरीके से एक लैम्ब्डा का उपयोग कर एक गैर पुनरावर्ती let पुनर्लेखन कर सकते हैं:

let x = A in B  ==>  (\x -> B) A 

जहां x एक चर रहा है और A और B अभिव्यक्तियां हैं। दूसरी तरह एक बड़ा सौदा दिखेगा जो की अन्य जिनमें से एक g की तरह एक महान सौदा दिखाई देता रहेगा और -

Answer 2

कुछ का पुन: उपयोग करने के लिए आप इसे किसी चीज़ के लिए तर्क दे सकते हैं।

Answer 3

मुझे लगता है कि इरादा यह है कि ब्रितिट संकेत क्या है।
होनहार व्यक्ति का पालन-पत्र के-कानून तरीके को एक case साथ g बाध्यकारी है;)

Answer 4

Hammar की और bravit के संकेत पर विस्तार करने के लिए, अपने समाधान सिर्फ एक नहीं लैम्ब्डा, लेकिन दो की आवश्यकता के लिए जा रहा है f

Answer 5

लैम्ब्डा पथरी g का उपयोग के आधे (\x -> 2*x^2 + 10*x + 1)

तो तुम f x y z = x^3 - g (x + g (y - g z) + g (z^2))

$> echo "f x y z = x^3 - g (x + g (y - g z) + g (z^2))" | sed -r -e 's/g/(\\x -> 2*x^2 + 10*x + 1)/g' 
f x y z = x^3 - (\x -> 2*x^2 + 10*x + 1) (x + (\x -> 2*x^2 + 10*x + 1) (y - (\x -> 2*x^2 + 10*x + 1) z) + (\x -> 2*x^2 + 10*x + 1) (z^2)) 

में उस के साथ जी स्थानापन्न करने की जरूरत है मैं कर रहा हूँ बस मजाक कर, क्षमा करें।

Answer 6

यह प्रश्न मेरे लिए उत्सुक और दिलचस्प लगता है। इसलिए, मैं यह पता लगाने की कोशिश कर रहा हूं कि लैम्ब्डा कैलकुस क्या है, एक उत्तर ढूंढें और इसे ओपी को दिखाना चाहते हैं (सभी संकेतों को वास्तव में दिखाया गया है, स्पूइलर अलर्ट)।

λ> let f = (\g x y z -> x^3 - g(x + g(y - g z) + g(z^2))) 
f :: 
    (Integer -> Integer) -> Integer -> Integer -> Integer -> Integer 

समारोह तो, हम मिल गया है, जो समारोह और 3 नंबर प्राप्त और जवाब देते हैं:

सबसे पहले, f को फिर से परिभाषित करने की कोशिश कर सकते हैं। curring हम यहीं g परिभाषा जोड़ सकते हैं f_new = f g की तरह, का उपयोग करना:

λ> let f = (\g x y z -> x^3 - g(x + g(y - g z) + g(z^2))) (\x -> 2*x^2 + 10*x + 1) 
f :: Integer -> Integer -> Integer -> Integer 

हम काम हो गया। आइए इसे जांचें:

λ> f 0 0 0 
-13 

उत्तर सही है।

युपीडी:

उन उदाहरण let में सिर्फ एक दुभाषिया में समारोह की घोषणा करने के लिए रास्ता है, इसलिए अंतिम जवाब है:।

f :: Num a => a -> a -> a -> a 
f = (\g x y z -> x^3 - g(x + g(y - g z) + g(z^2))) (\x -> 2*x^2 + 10*x + 1)