하스켈에서 함수가 'a'로 구성된 목록이면 true를 반환하고, 그렇지 않으면 false를 반환합니다.

Question

하스켈을 처음 사용하고 목록을 가져 와서 bool을 반환하는 함수를 작성하려고합니다.

입력 목록이 'a'만의 목록이고 그렇지 않으면 False 인 목록 인 경우 True을 반환합니다.

이 내 추측이다 :

f :: [a] -> Bool 

f ('a':[]) = True 

f (x:xs) = False 

이 컴파일에 실패 반환 :

Couldn't match type `a' with `Char' 
    `a' is a rigid type variable bound by 
     the type signature for f :: [a] -> Bool at charf.hs:6:1 
In the pattern: 'b' 
In the pattern: 'b' : [] 
In an equation for `f': f ('b' : []) = True 

내 논리의 오류가 무엇입니까?

Answer 1

f :: [Char] -> Bool 
f ['a'] = True 
f _ = False 

패턴 일치를 사용하십시오. 함수가 빈 목록을 처리하지 않는 것 같습니다. 또한 명확하게 [Char] (또는 String)이 필요하므로 원하는대로 함수를 일반화 할 수 없습니다.

Answer 2

목록에 주어진 값이 하나라도 들어 있는지 테스트하는 함수를 만들려면 몇 가지 사항을 변경해야합니다.

먼저 비교할 예상 값을 제공해야합니다. 현재 Char 'a'와 비교하려고 시도하지만 Char을 알 수없는 유형 a과 비교할 수 없습니다. 둘째,이 유형은 Eq 클래스의 인스턴스 여야 만 비교할 수 있습니다.

싱글 톤 목록과 패턴 일치를 한 다음 원하는 요소와 비교할 절을 추가 할 수 있습니다.

isSingletonOf :: Eq a => a -> [a] -> Bool 
isSingletonOf v [s] | v == s = True 
isSingletonOf _ _ = False 

그럼 당신은 [Char]을 비교하는 함수를 만들 수 있습니다

f :: [Char] -> Bool 
f = isSingletonOf 'a' 

Answer 3

은 또한 그렇게, Data.List에 정의 된 기능 elem을 사용할 수 있습니다. 여기

는 문서 링크입니다 :
http://hackage.haskell.org/packages/archive/base/latest/doc/html/Data-List.html#v:elem
에 관한

f :: [Char] -> Bool
f = elem 'a'

(당신이 당신이 행의 끝에서 소스를 클릭 할 수 있습니다 구현하는 방법을보고 싶은 경우) 유형에 관한 귀하의 대답은 map입니다.당신이 말했듯이 :
map :: (a -> b) -> [a] -> [b]
및
toUpper :: Char -> Char

결과적으로
map toUpper :: [Char] -> [Char]

을 당신은 기능 g :: String -> Int를 정의한다면 다음
map g :: [String] -> [Int]
당신이 볼, 당신이로 줄 기능에 따라 map의 첫 번째 인수는 결과 함수가 입력에 동일한 유형을 가질 수도 있고 그렇지 않을 수도 있습니다 utput.