수표 검사 : 무한 유형을 구성 할 수 없습니다. a0 = [a0]

Question

mymap f _ [] = [] 
mymap f x (y:ys) = f first y : mymap (f x ys) 
    where if x /= [] first = head(x) else --there will not be else just playing around 

기본 제공지도를 구현하는 것이지만 하나의 목록 대신 f에는 2 개의 인수 (목록)가 있습니다. ys가 []가되면, mymamp를 호출하여 새로운 목록을 만들고 싶습니다. x 대신 tail (x) == xs를 사용하고 xs가 []가 될 때까지 계속하겠습니다. 그리고이 모든 목록을 최종 목록에 추가하십시오. 하지만 자동/재귀 적 방법을 찾을 수 없습니다.

Answer 1

우선 x이 비어 있지 않음을 확인하지 않고 head(x)을 호출하고 있습니다. 좋은 생각이 아닙니다. 대신 x에서 패턴 일치를 사용하십시오! 이제

mymap f _ [] = [] 
mymap f (x:xs) (y:ys) = f x y : f x ys 
-- add the other cases as well 

오류 : 통지는 장소로 f을 사용하고 있습니다 :

1. f first y - 여기에 F 타입의 a->b->c

2. f x ys이다 - 여기에서 F 형이다 [a]->[b]->c

하스켈은 f의 타입을 추론 할 수 없으므로, 교육 된 추측을하고 다른 변수의 타입을 추론하지 못합니다 - 따라서 에러.

이 경우 가장 좋은 조언은 mymap에 유형 서명을 추가하는 것입니다. 하스켈은 똑똑한 언어이며 대부분의 경우 형식 서명 없이도 잘 관리 할 수 ​​있습니다. 이고 그 중 하나가 인 경우이면 코드가 유효합니다. 항상 형식 서명으로 시작하십시오.