Я новичок в Haskell. Я понимаю, что функции начищены, чтобы стать функциями, которые принимают один параметр. Я не понимаю, как добиться соответствия шаблону нескольким значениям, если это так. Например:
Предположим, что мы имеем следующее полностью произвольное определение функции:
myFunc :: Int -> Int -> Int
myFunc 0 0 = 0
myFunc 1 1 = 1
myFunc x y = x `someoperation` y
Является ли частично примененная функция, возвращаемая myFunc 0
по существу:
partiallyAppliedMyFunc :: Int -> Int
partiallyAppliedMyFunc 0 = 0
partiallyAppliedMyFunc y = 0 `someoperation` y
Таким образом, удаление постороннего шаблона, который не может совпадать? Или... что здесь происходит?