🚀 go-pugleaf

Zbyszek Malec wrote:
> Hej
> Mam w haskellu taką prostą funkjcę:
>
> ta się kompiluje
> delete :: Char -> String -> String
> delete c [] = []
> delete c xs | c == (head xs) = delete c (tail xs)
>             | otherwise = (head xs):delete c xs

Widzę, że sam sobie poradziłeś z problemem. Kilka komentarzy nt. tej
implementacji:
- używanie head i tail, szczególnie w takiej ilości, jest złym
  pomysłem, szczególnie jeśli już się używa pattern-matchingu. Błędy
  czasu wykonania (np. head []) nie będą dawać żadnej informacji o ich
  miejscu wystąpienia (pewnie sobie z tego zdajesz sprawę).
- jest błędna - delete 'a' "aaabc" = "bbbbbbbbbbbbbbbbbbbbbbbb.....
  winne jest użycie xs zamiast (tail xs) na końcu ostatniej linijki.
- niepotrzebnie zawężony typ funkcji - gdybyś usunął sygnaturę typu,
  kompilator sam zauważyłby
    delete :: Eq a => a -> [a] -> [a]
  A może właśnie się uczysz i jeszcze nie dotarłeś do klas typów?
  Oczywiście nie zachęcam do niepisania sygnatur typu

Best regards
Tomasz