问题描述
|
我知道以下功能是什么,我只想解释一下它是如何工作的以及进行的计算:
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”。