2015-07-17 6 views
6

पर एक अतिरिक्त पैरामीटर तैयार करता है मेरे पास a->b फ़ंक्शन है जो (c->a->b) हस्ताक्षर से कुछ पास किया जाना है। मैं c बारे में परवाह नहीं बस इसे अनदेखा कर देगा है। वहाँ एक मानक समारोह है कि बेकार मापदंडों पहले जोड़ता है: (a->b) -> (c->a->b)?क्या कोई मानक हास्केल फ़ंक्शन है जो फ़ंक्शन

+0

[hoogle] (https://www.haskell.org/hoogle/?hoogle=%28a+-%3E+b%29+-%3E+c+-% 3E +% 28a + -% 3E + ब% 29) भी इस तरह के प्रश्नों के लिए सहायक हो सकता है, हालांकि यह इस मामले – jberryman

+0

इस सटीक हस्ताक्षर करने की कोशिश की में वास्तव में खराब करता है, कुछ भी –

+0

नहीं मिला है कि मैं क्या द्वारा "यह वास्तव में खराब करता है मतलब इस मामले "में, क्षमा करें। मुझे लगता है कि hoogle सामान्य पद पर कब्जा और पहले उन प्रकार संतोषजनक सबसे सामान्य कार्यों वापसी करने की कोशिश कर किया जाना चाहिए, लेकिन यह है कि ऐसा प्रतीत नहीं होता है – jberryman

उत्तर

12

यह const कहा जाता है:

> let foo = const :: (a -> b) -> (c -> a -> b) 
संबंधित मुद्दे