如何在Haskell中实现按起始索引和长度截取列表的函数？

原代码错误点 #

• 函数名不匹配：定义的函数名为list，递归调用时误用了不存在的sublist，会直接触发未定义标识符报错
• 参数类型错误：(a: a + b)是将两个Int值拼接为列表，但函数前两个入参要求为Int类型，类型校验无法通过
• 缺失核心逻辑与边界处理：没有实现起始索引偏移跳过的逻辑，也没有处理截取长度为0、输入列表为空的终止条件，完全不符合截取逻辑要求

修复后的递归实现 #

list :: Int -> Int -> [b] -> [b]
-- 截取长度为0时直接返回空列表
list _ 0 _ = []
-- 输入列表为空时返回空列表
list _ _ [] = []
list a b (x:xs)
  -- 未到起始索引时，跳过当前元素，起始索引减1继续递归
  | a > 0     = list (a - 1) b xs
  -- 到达起始索引后，将当前元素加入结果，剩余截取长度减1继续递归
  | otherwise = x : list 0 (b - 1) xs

调用示例 #

输入list 2 3 [1,2,3,4,5,6]，输出为[3,4,5]，符合从索引2开始截取3个元素的预期。

内容的提问来源于stack exchange，提问作者maros