haskell 菜鸟的问题

[lqcc]

quicksort :: (Ord a) => [a] -> [a]
quicksort [] = []
quicksort (x:xs) =
        let smallerOrEqual = [a | a <- xs, a <= x]
                larger = [a | a <- xs, a > x]
        in quicksort smallerOrEqual ++ [x] ++ quicksort larger

初学菜鸟。请问这个示例程序，迭代是怎么停止的？

[pe200012]

空

[pe200012]

空列表的时候终止(

[Edward4074]

smallerOrEqual 和 large 各自为空数组时，进入第一个 case 就停止了

[leomayleomay]

pattern matching, 第一个

[lqcc]

@pe200012 @Edward4074 @leomayleomay 多谢，看明白了。