Haskell代碼是否有效？

Question

作爲初學者練習，我已經實現了以下功能找到的第n個元素的列表：

elem_at (h:_) 0 = h 
elem_at (_:t) n = elem_at t (n-1) 
elem_at _ _  = error "Index out of bounds" 

但是，如果我叫：elem_at [1,2,3,4] 5，它是否正確，只有在遍歷整個列表後纔會返回「索引超出範圍」，以便最後一行匹配模式_ _和[] 1？更一般地說，如果名單是大不會是一個性能問題？可以以某種方式優化這種情況嗎？

Answer 1

實際上，這正是索引列表的標準方法。您需要在檢查負數

elem_at xs n | n < 0 = error "elem_at: negative index" 

而且你可以添加一個特定的比賽爲空列表中添加：

elem_at [] _   = error "elem_at: index too large" 

和基礎和感性情況：

elem_at (x:_) 0   = x 
elem_at (_:xs) n   = elem_at xs (n-1) 

和你有列表索引的前奏定義，(!!)操作符。

通過工作包裝可以產生一個稍微高效的版本，將索引測試浮動到頂層。

Answer 2

我相信haskell的實現和遍歷任何語言的單鏈表一樣高效。如果數據存儲在不同的結構中，則可以在不遍歷列表的情況下回答問題。