Haskell- Znajdź element listy i zwraca jego pozycję

Question

więc muszę zrobić to funkcja opisana jako

invFib :: Integer -> Maybe Integer 

który odbywa liczbą całkowitą i patrzy na nią w ciągu Fibonacciego (jak opisane przez funkcję poniżej)

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

i zwraca indeks przykład numer:

invFib 0 ~>Just 0

invFib 1 ~>Just 1 lub Just 2

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

invFib (fibs !! 99) ~>Just 99

Próbowałem czyniąc funkcję, która pobiera listę liczb całkowitych i wypluwa indeksu, ale utrzymuje braku . jakieś pomysły?

to funkcja i wypróbowaną

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

Edit: funkcja nie zamarza na numery w sekwencji Fibonacciego, także pokazuje tylko wartość 1, gdy 1 jest wpisany

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

Answer 1

Tak więc kluczem jest to, że fibs jest nieskończony, ale równieżmonotonicznie rośnie. Stąd, gdy wartość ta przekracza liczbę poszukiwane, może powrócić Nothing:

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 

i tak:

$ 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] 

Istnieje kilka innych sposobów na to zbyt. Pomyśl o zip fibs [0..], a następnie możesz użyć dropWhile, aby usunąć część mniejszą niż n i sprawdzić, co zostało.

Answer 2

Jeśli” ve już wyliczył fibs, wtedy odpowiedź jest prosta:

import Data.List 

invFib :: Integer -> Maybe Integer 
invFib n = fmap fromIntegral (elemIndex n fibs) 

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

Answer 3

Dlaczego nie użyć funkcji takiej jak "takeWhile", aby zwrócić sekcję nieskończonej listy 'fibs', którą chcesz zbadać? Z listą skończoną można zastosować funkcję taką jak "elemIndex", która przy niewielkiej korekcie typu może zwrócić to, czego szukasz.

elemIndex myInteger (takeWhile (<= myInteger) fibs)