解释递归的Haskell列表函数如何工作？

如何解决解释递归的Haskell列表函数如何工作？

| 我知道以下功能是什么，我只想解释一下它是如何工作的以及进行的计算：

sponge :: Int -> [a] -> [a]
sponge 0 xs = xs
sponge n [] = []
sponge n (x:xs) = sponge (n-1) xs

我现在似乎已经失去了所有的阴谋:( 任何使我重回正轨的帮助将不胜感激！ :)     

解决方法

        它是两个变量的递归函数。您可以逐行将其分解以了解它：

sponge :: Int -> [a] -> [a]

有两个参数，一个是

Int

，一个是一些元素的列表。

sponge 0 xs = xs

基本情况。如果

Int

参数为零，则仅返回未修改的list参数。

sponge n [] = []    

另一种基本情况是，如果列表为空，则立即返回空列表。

sponge n (x:xs) = sponge (n-1) xs

最后，归纳步骤。如果列表是非空的（即由至少一个元素和一条尾巴组成，用

x:xs

表示），则结果是在

n-1

和列表尾部调用的

sponge

。 那么这个功能会做什么呢？删除

n

个元素后，它将返回列表的尾部。与

drop

功能相同：

> drop 10 [1..20]
[11,12,13,14,15,16,17,18,19,20]

和

> sponge 10 [1..20]
[11,20]

实际上，我们可以要求QuickCheck确认：

> quickCheck $ \\n xs -> sponge n xs == drop n xs
*** Failed! Falsifiable (after 7 tests and 5 shrinks):    
-1
[()]

啊!他们是不同的。当

n

为负数时！因此，我们可以修改与两个函数相关的属性：

> quickCheck $ \\n xs -> n >= 0 ==> sponge n xs == drop n xs
+++ OK,passed 100 tests.

因此，对于

n

为正的情况，您的函数的行为就像drop。 这是通过引擎盖调试器获得的

n

和

xs

中间值的痕迹：     ,        如您所见，它带有两个参数：一个Int和一个列表。它通过模式匹配来区分三种情况：1）Int为零； 2）列表为空；或3）Int不为零，列表也不为空。 在第一种情况下，它返回列表；在情况2中，它返回空列表（无论如何，这是第二个参数）；在情况3中，它以原始Int参数减1递归调用自身，而原始列表减其第一个元素。 看起来很像Prelude中的“ drop”。