하스켈 - 기본 꼬리 재귀

Question

나는 0에서 내부 [A], 시작의 인덱스를 반환하거나 반환 -1이 발견되어 있지 않은 경우 매개 변수

whatIndex :: (Eq a) => a -> [a] -> Integer 

이있는 기능을 가지고있다. 이것은 내가 작성한 것입니다.

module WhatIndex where 

whatIndex :: (Eq a) => a -> [a] -> Integer 

whatIndex p [] = -1 

whatIndex p (a:as) 
    | p==a = index 
    | otherwise = whatIndex p as 
    where index = 1+whatIndex p as 

분명히 여기에서 색인을 올바르게 올리지 않았습니다. 왜 이것이 작동하지 않는가? 또한 매개 변수를 변경할 수 없습니다. 여기 ========================

는

whatIndex 3 [] = -1 
whatIndex 2 [1,2,3,2,1]=1 
whatIndex 1 [1,2,3,2,1]=0 
whatIndex 'b' ['a' .. 'z']=1 

Answer 1

는 누산기를 사용하여 시도 기본적인 입력/출력 매개 변수는 꼬리 재귀하려는 경우 :

whatIndex :: (Eq a) => a -> [a] -> Integer 
whatIndex = 
    let whatIndex' count p [] = -1 
     whatIndex' count p (a:as) 
     | p==a = count 
     | otherwise = whatIndex' (count + 1) p as 
    in whatIndex' 0 

Answer 2

1+whatIndex p as 그들에게 남아있는 목록의 모든 통해 이동 계산됩니다, 그것은 당신에게 인덱스를 제공하지 않습니다. 다음과 같은 반복적 인 도우미 함수를 사용하십시오.

여기에있는 로컬 함수 또는 해제 된 버전을 사용할 수 있습니다. 재귀 함수에서 "마지막"또는 "최종"함수 호출 함수에 어디

whatIndex p (x:xs) 
    | p == x = 0 
    | otherwise = 1 + whatIndex p xs 

꼬리 재귀 재귀 함수의 클래스를 의미한다 : 여기

whatIndex' :: (Eq a) => Integer -> a -> [a] -> Integer 

whatIndex' _ _ [] = -1 

whatIndex' i p (x:xs) 
    | p == x = i 
    | otherwise = whatIndex' (i+1) p xs 

whatIndex p xs = whatIndex' 0 p xs 

main = print $ whatIndex 'a' "bbbbaccc" 

가 아닌 꼬리 재귀 버전입니다 그 자체. 즉 함수가 "tail position"(함수 호출이 이루어지는 마지막 위치)에있는 다른 함수 (예 : +)를 호출하지 않는다는 의미입니다. whatIndex의 첫 번째 버전에서 호출 된 최종 함수는 whatIndex이고 두 번째 버전 (매개 변수로 whatIndex을 호출 함)에서 호출 된 최종 함수는 +입니다.

http://en.wikipedia.org/wiki/Tail_call

편집 : 그것은 조금 복잡하고 비효율적 있지만 여기에 귀하의 사양에 더 밀접하게 대응하는 버전이 있습니다.

whatIndex p xs 
    | not (any (==p) xs) = -1 
    | otherwise = whatIndex' p xs where 
     whatIndex' p (x:xs) 
      | p == x = 0 
      | otherwise = 1 + whatIndex' p xs