लैम्ब्डा में ऑपरेटरों को infixities कैसे देना है?

Question

उदाहरण के लिए, इस जाँच

\cons nil -> 5 `cons` 3 `cons` nil 

टाइप नहीं है और न ही हालांकि इन दोनों को करना

\cons nil -> 5 `cons` nil 
\(#) nil -> 5 # nil 

इस

\(#) -> 5 # 3 # nil 

करता है वहाँ lambdas में ऑपरेटरों को infixites आवंटित करने के लिए एक रास्ता है । मैंने कोशिश की

infixr 5 # 
foo = \(#) nil -> 5 # 3 # nil 

जो # की कोई परिभाषा के लिए एक त्रुटि देता है और

foo = \(infixr 5 #) nil -> 5 # 3 # nil 

जो सिर्फ एक सिंटैक्स त्रुटि है।

मैं क्या कर सकता हूं?

Answer 1

स्थिरता घोषणाओं स्थानीय हो सकता है लेकिन परिभाषाओं के साथ करना होगा, ताकि आप

कुछ की तरह

foo cons nil = 'a' # 'b' # nil 
    where (#) = cons 
     infixr 5 # 

या

foo = \cons nil -> let (#) = cons; infixr 5 # in 'a' # 'b' # nil 

आदि