Haskell- Finden Element in einer Liste und das Rück seine Position

Question

Also muss ich eine Funktion als

invFib :: Integer -> Maybe Integer 

beschrieben machen, die einen Integer und sucht es in der Fibonacci-Sequenz nimmt (wie durch die Funktion unten beschrieben)

fibs :: [Integer] 
fibs = 0:1:(zipWith (+) fibs (tail fibs)) 

und gibt den Index der Zahl Beispiel:

invFib 0 ~>Just 0

invFib 1 ~>Just 1 oder Just 2

map invFib [54, 55, 56] ~>[Nothing,Just 10,Nothing]

invFib (fibs !! 99) ~>Just 99

Ich habe versucht, eine Funktion zu machen, die eine Liste von ganzen Zahlen nimmt und den Index spuckt, aber es hält versagt . Irgendwelche Gedanken?

diese Funktion i tried-

findNum :: [Integer] -> Integer -> Integer -> Integer 
findNum x:xs y z = if x == y 
       then z 
       else findNum xs y (z+1) 

Edit: die Funktion auf Zahlen nicht in der Fibonacci-Sequenz friert, zeigt auch nur 1 Wert, wenn 1 eingegeben wird

invFib :: Integer -> Maybe Integer 
invFib n = if n < 0 
     then Nothing 
     else fmap fromIntegral (elemIndex n fibs) 

Answer 1

Also hier der Schlüssel ist, dass fibs unendlich ist, aber auch monoton steigend. Daher, sobald sie die Zahl wird gesucht übersteigt, kann es Nothing zurück:

findIndexInAscendingList :: (Ord a) => a -> [a] -> Maybe Integer 
findIndexInAscendingList a xs = find 0 xs 
    where 
    find i [] = Nothing -- won't get used for fibs 
    find i (x:xs) | a == x = Just i 
        | a < x  = Nothing 
        | otherwise = find (i + 1) xs 

invFib :: Integer -> Maybe Integer 
invFib n = findIndexInAscendingList n fibs 

Und so:

$ ghci 
GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help 
λ: :load Fib.hs 
[1 of 1] Compiling Main    (Fib.hs, interpreted) 
Ok, modules loaded: Main. 
λ: map invFib [54,55,56] 
[Nothing,Just 10,Nothing] 

Es gibt einige andere Möglichkeiten, es zu tun. Denken Sie an zip fibs [0..] und dann könnten Sie dropWhile verwenden, um den Teil weniger als n zu entfernen und zu testen, was übrig ist.

Answer 2

Wenn Sie‘ ve bereits berechnet fibs, dann ist die Antwort einfach:

Answer 3

Warum verwenden Sie nicht eine Funktion wie 'takeWhile', um einen Abschnitt der unendlichen 'fibs' Liste zurückzugeben, den Sie untersuchen möchten? Mit der endlichen Liste könnten Sie eine Funktion wie 'elemIndex' anwenden, die mit einer kleinen Typanpassung zurückgeben könnte, wonach Sie suchen.

elemIndex myInteger (takeWhile (<= myInteger) fibs)