我怎么把它變成尾遞歸？ 哈斯克爾

Question

我正在嘗試獲取列表中元素的索引。

但是我遇到的問題是元素不在列表中。

我想也許尾遞歸是有序的，但我不確定如何去做。

whatIndex sought [] = -1
whatIndex sought (a:xs) = 
    if sought == a
        then 0
        else 1 + whatIndex sought xs

編輯：

當它不在列表中時，它應該返回-1

例：

whatIndex 3 [1,2,3] == 2
whatIndex 3 [0,1,2] == -1

編輯：能夠讓它工作。

Answer 1

當然你有Data.List.findIndex 。 如果你想自己寫，有很多方法，例如：

import Control.Monad

whatIndex x = msum . zipWith f [0..] where
  f i y = if x == y then Just i else Nothing

...返回一個Maybe Int 。 如果您堅持-1黑客，加入fromMaybe (-1) $ （它來自Data.Maybe前方） msum 。