하스켈 오류 - 예상 유형 'Char'와 실제 유형 '[Char]'을 일치시킬 수 없습니다.

Question

사람의 성을 사용하고 성만 반환하는 하스켈 함수를 작성하려고합니다. 예를 들어 getName "Hans Christian Anderson"은 "Anderson"을 반환해야합니다.

getname :: String -> String 
getname fullName = do 
    let nameList = splitOn " " fullName -- split the full name into individual names 
    let reversedName = reverse nameList -- reverse the full name 
    let lastName = reversedName !! 0  -- get the first name from the reversed list 
    return lastName 

하지만이를 컴파일하려고 할 때마다, 나는 다음과 같은 오류 얻을 :이 기능은 다음과 같습니다

Couldn't match expected type ‘Char’ with actual type ‘[Char]’ 
In the first argument of ‘return’, namely ‘lastName’ 
In a stmt of a 'do' block: return lastName 

나는 완전히이 오류를 이해 모르겠어요합니다. 내가 하스켈을 이해함에 따라 구조가 [Char]은 String과 같을 것이다. 왜 그냥이 Char 형식이 반환 문에서 문자열로 나타나는 것으로 예상하는지 이해가 가지 않습니다. 나는 각 라인을 넘었고 그들은 나에게 맞는 것 같다.

이 문제가 발생하는 이유와 해결 방법에 대한 조언이 있으면 감사하겠습니다.

Answer 1

do 표기법을 사용하지 마십시오. 함수의 반환 값이 [Char]이므로 return의 인수는 Char 값이 될 것으로 예상됩니다 (return :: a -> [a]).

do 표기법을 필요로하는 여기서는 아무 것도하지 않습니다. 그냥 일반 함수 호출을 사용하십시오.

getname fullName = (reverse (splitOn " " fullName)) !! 0 

Answer 2

비 결정적 계산을 설명하는 것처럼 의도 한 코드가 실수로 목록 모나드에서 작동합니다. 그 모나드 나 다른 모나드는 필요 없습니다. 따라서 이것을 위해 do을 사용하지 마십시오. 당신이 원한다면 당신은 여전히 ​​let .. in ..를 사용할 수 있습니다 또는

getname :: String -> String 
getname fullName = 
    let nameList = splitOn " " fullName -- split the full name into individual names 
     reversedName = reverse nameList -- reverse the full name 
     lastName = reversedName !! 0  -- get the first name from the reversed list 
    in lastName 

을 last 사용

getname :: String -> String 
getname fullName = last (splitOn " " fullName) 

는 last이 부분입니다주의 : 입력 문자열에 이름이없는 것처럼 즉시 프로그램을 충돌합니다 . 더 안전한 방법이 될 수있다 :

getname :: String -> Maybe String 
getname fullName = case splitOn " " fullName of 
    [] -> Nothing 
    xs -> Just (last xs) 

심지어 :

getname :: String -> Maybe String 
getname fullName = safeLast (splitOn " " fullName) 

-- This should be already there in the library, IMO 
safeLast :: [a] -> Maybe a 
safeLast []  = Nothing 
safeLast [x] = Just x 
safeLast (_:xs) = safeLast xs