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的实现和遍历任何语言的单链表一样高效。如果数据存储在不同的结构中，则可以在不遍历列表的情况下回答问题。