檢查一個字符串包含使用遞歸

Question

我知道如何檢查是否字符串包含特定字符像這樣的一個人物：

charFound :: Char -> String -> Bool 
charFound c s = c `elem` s 

現在，我怎麼可能有使用遞歸同樣的辦法？

此外，使用模式匹配檢查，如果其中一個參數是空的，我越來越

分析錯誤圖案：'的

charFound:: Char->String->Bool 
charFound '' s = error "Something is empty." -- ERROR 
charFound c "" = error "Something is empty." -- OK 

我可以在使用_忽略一個不是列表的東西的參數？

更新目前代碼

charFound :: Char->String->Bool 
charFound c (x:xs) 
    | c == x = True 
    | xs == "" = False 
    | otherwise = contido c xs 

而且

charFound :: Char->String->Bool 
charFound _ "" = False -- returns false if I type > charFound 'a' "Leh" 
charFound c (x:xs) 
    | c == x = True 
    | otherwise = contido c xs 

Answer 1

我們可以保持相同的簽名，因爲函數做同樣的事情。

charFound :: Char -> String -> Bool 

當你執行你總是要確保你認爲你的基本情況遞歸，在這種情況下，它會當你正在尋找一個空字符串的字符，這顯然應該總是返回false是。

charFound c "" = False 

現在，您必須考慮另一種情況，其中字符串不爲空。如果字符串不爲空，則它的形式爲(x:xs)，如果x等於我們的字符，則返回true，否則我們檢查c是否在xs中。

charFound c (x:xs) 
    | c == x = True 
    | otherwise = charFound c xs 

另外，

charFound c (x:xs) = c == x || charFound c xs 

---

編輯： 要獲得關於模式匹配的其他問題，您獲得的警告，因爲''不是字符！角色永遠不會是空的，所以你不需要考慮這種可能性。 另外，您絕對可以使用_來匹配不是列表的內容。您可以使用_來匹配您喜歡的任何參數。例如，基本情況本來可以寫成

charFound _ "" = False 

因爲我們實際上並不需要知道字符的值是什麼，當字符串是空的，所以我們並不需要給它一個名稱。