Haskell- Trova elemento in una lista e restituisce la sua posizione di

Question

quindi ho bisogno di fare una funzione descritta come

invFib :: Integer -> Maybe Integer 

che prende un intero e lo cerca nella sequenza di Fibonacci (come descritto dalla funzione di seguito)

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

e restituisce l'indice del numero di esempio:

invFib 0 ~>Just 0

invFib 1 ~>Just 1 o Just 2

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

invFib (fibs !! 99) ~>Just 99

Ho provato a fare una funzione che prende una lista di interi e sputa fuori l'indice, ma mantiene in mancanza . qualche idea?

questo è funzione i tried-

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

Edit: la funzione si blocca su numeri non nella sequenza di Fibonacci, anche mostra solo 1 valore quando si immette 1

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

Answer 1

Così la chiave qui è che fibs è infinito, ma anche monotona crescente. Quindi, una volta che si supera il numero di essere cercato, si può tornare 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 

E così:

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

Ci sono alcuni altri modi per farlo troppo. Pensa a zip fibs [0..] e poi puoi utilizzare dropWhile per rimuovere la porzione inferiore a n e testare ciò che è rimasto.

Answer 2

Se si' Abbiamo già calcolato fibs, quindi la risposta è semplice:

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

Perché non utilizzare una funzione come 'takeWhile' per restituire una sezione dell'elenco infinito 'fibs' che si desidera esaminare? Con la lista finita, è possibile applicare una funzione come "elemIndex" che, con una piccola modifica del tipo, potrebbe restituire ciò che si sta cercando.

elemIndex myInteger (takeWhile (<= myInteger) fibs)