1

我制作了一个函数，它接受一个列表和一个列表并返回一个新的列表列表。

let rec calculator list SS =
  match (List.item(0) SS) with
  |[] -> []
  |_ -> match (validate list (List.item(0) SS)) with
        |(validate theCode list) -> List.append [(List.item(0) SS)] (calculator list (SS.[1..])) 
        |_ -> (calculator list (SS.[1..]))

validate 是一个返回两个元组整数的函数。示例 (1,1)

list 是四个整数的列表

SS 是具有四个整数的列表列表

theCode 是四个整数的列表

我收到错误“未定义模式鉴别器'验证'。”

也许这是一个愚蠢的问题，但我仍然不知道答案。

是否不允许在匹配表达式中使用函数作为参数。还是这里发生了完全不同的事情？

据我所知，这两个验证函数将返回两个元组整数，因此应该能够匹配。

4

2 回答 2

4

这实际上不是对如何实施when警卫问题的答案，因为@ildjarn为您回答了这个问题。

我认为图书馆功能实际上会更好地为您服务。您尝试做的似乎是过滤掉未通过验证的元素，而且还要在第一个空元素上停止。如果你可以保证你肯定想遍历 的每个元素SS，你可以简单地做

let calculator list = List.filter (fun s -> validate list s = validate theCode list)

如果你必须在空元素处停止，你可以定义一个函数在第一个空元素处切割列表，比如

let upToElement element list =
    let rec loop acc = function
        | [] -> List.rev acc
        | h :: t when h = element -> List.rev acc
        | h :: t -> loop (h :: acc) t
    loop [] list

那么你可以做

let calculator list =
    upToElement [] >> List.filter (fun s -> validate list s = validate theCode list)
于 2016-11-15T12:21:12.807 回答
4

如果您的问题是如何编译它，那么您只需要做一个小改动——函数调用本身并不是一种模式，因此您需要绑定到一个值并使用一个when守卫：

let rec calculator list SS =
    match (List.item(0) SS) with
    | [] -> []
    | _  ->
        match (validate list (List.item(0) SS)) with
//        vvvvvvvvvv
        | x when x = (validate theCode list) ->
            List.append [(List.item(0) SS)] (calculator list (SS.[1..]))
        | _ -> (calculator list (SS.[1..]))

但是，如果您的问题确实是“首选方法是什么”，那么虽然这对于本网站 (IMO) 来说过于主观，但我会将其作为我认为对于此逻辑理想可读的选项提交：

let rec calculator list (h::t) =
    if List.isEmpty h then h
    elif validate list h = validate theCode list then h::(calculator list t)
    else calculator list t

（假设这SS是一个 F# 列表而不是System.Collections.Generic.List.）

于 2016-11-15T10:39:44.760 回答