正如您所说,您只需要使用之前的功能即可number_in_month
。记住这number_in_month
需要一个日期列表和一个月份,并返回日期列表中匹配的月份数。因此,所有需要创建number_in_months
的是调用number_in_month
新月份列表中的每个元素,并检查原始日期列表。
这样的解决方案可能看起来像
fun number_in_months (dates, months) =
if null months then
0
else
number_in_month(dates, hd months) + number_in_months(dates, tl months)
但是,当您使用模式匹配时,您可以将其缩短并使其更具可读性
fun number_in_months (dates, []) = 0
| number_in_months (dates, d::ds) =
number_in_month(dates, d) + number_in_months(dates, ds)
绝对没有理由创建一个count
带有“状态”的函数。这似乎是你的当务之急,在玩 :) 以这个简单的函数为例,它将对列表的所有元素求和
fun sum [] = 0
| sum (x::xs) = x + sum xs
甚至创建一个长度函数(实际上类似于您的计数函数)
fun length [] = 0
| length (x::xs) = 1 + length xs
我鼓励你去阅读这些问题及其答案,而不是重复很多已经提到过很多次的好东西。
更新
我还想向您展示如何以更好的方式格式化您的代码
fun number_in_month (datelist : (int*int*int) list, month : int) =
let
fun count (x : int , datelist : (int*int*int) list) =
if null (tl datelist)
then x
else if #2(hd datelist) = month
then count (x+1, tl datelist)
else count (x, tl datelist)
in
if #2(hd datelist) = month
then count (1, datelist)
else count (0, datelist)
end
fun number_in_months (datelist : (int*int*int) list, monthlist : int list)=
let
fun count (x : int, monthlist : int list)=
if null (tl monthlist)
then x
else count (x + number_in_month(datelist, hd monthlist), tl monthlist)
in
count (number_in_month (datelist, hd monthlist), tl monthlist)
end
如何格式化嵌套的 if 始终是我来自哪里的一场争论。我个人避免使用它们,而是使用用例,但我想您将来会倾向于使用它。
但是,我还发现了您的计数功能中的错误。当您测试您的第二个参数(在您的两个计数函数中)是否是空列表时null
,您在参数的尾部执行此操作,如果参数实际上是空列表,则会失败
- null (tl []);
uncaught exception Empty
例如这个输入
- number_in_months ([(1,1,1)], [1]);
uncaught exception Empty
同样,您的逻辑也是错误的,因为您正在测试等于number_in_month
的头部,但是在任何一种情况下,您的 to 都使用整个 of而不是它的尾巴。这被认为是下面不应该返回 2 作为结果datelist
month
count
datelist
- number_in_month([(1,1,1), (2,2,2), (3,3,3)], 1);
val it = 2 : int
此错误是使number_in_month
函数不引发异常的唯一原因。