Сопоставление с образцом( Haskell )?

Question

[Денис Кузнецов]

есть функция
substitute :: Char -> Char -> String -> String
substitute x y [] = []
substitute x y (h:hs) = if h == x than y : substitute x y hs
else h : substitute x y hs
которая заменяет в строке какие то буквы x на буквы y , пытался переделать это под сопоставление с образцом так что , если допустим голова списка совпадает с буквой x то он бы менял , иначе шел бы дальше
substitute :: Char -> Char -> String -> String
substitute x y [] = []
substitute x y (x:hs) = y : substitute x y hs
else _ : substitute x y hs
не вышло

Answer 1

[youngmysteriouslight]

В Haskell в отличие от, например, Wolfram Mathematica в перечне образцов в рамках одного случая каждая переменная может быть использована только единожды.
На самом деле образцы являются краткой формой записи системы проекций для произведений-типов и разбора случаев для сумм-типов.
Например,

substitute x y [] = ...
substitute x y (h:hs) = ...

является краткой формой записи (кстати, "упрощенный" Хаскель, к которому ghc приводит код перед компиляцией, как раз такое представление использует)

substitute x y z = case z of
  [] -> ...
  (h:hs) -> ...

или, если гиперболизировать,

substitute x y z = if null z then ... else let h = head z; hs = tail z in ...

Основная мысль: все переменные в образцах принципиально обязаны быть разными в общем случае.
Например, как быть с func x x = ..., когда x :: a -> b?
Исключение есть всего одно: когда тип обеих переменных имплементирует Eq. Но современный Haskell этого ещё не умеет. Возможно, в будущем такая фишка будет добавлена как одно из многочисленных расширений языка.

Comments

[Денис Кузнецов]

Возможно ли написать эту функцию без условного оператора if или case? Просто с ними я сам написал , а препод велел переделать без них и как бы я не вертел эту функцию , ничего толкового не получается

[youngmysteriouslight]

Да, можно поколдовать с guard-ами:

substitute x y (h:hs) | x == h = ...
    | otherwise = ...