嵌套函数和变量的ocaml问题

Question

我正在尝试使函数restric能够根据具有值[value]的列来限制表的值。 我的想法是为满足条件列和值参数的列创建一个包含对与错的列表。 稍后在递归匹配中将选择列，并且列表制作器函数将根据真假列表创建新列。

说到在ocaml嵌套变量中存储，让...在范围界定中，我感到非常困惑。 下面的代码有什么问题？

let rec restrict (column, value, aTable) = match aTable with
    name,[]->[]
  |name,(col,vals)::rest->if col=column
      then (col,auxListMaker(vals,trueFalseList))::restrict (column,value.(name,rest))
      else restrict (column,value.(name,rest))

let rec auxTrueFalser (column, value, aTable) = match aTable with 
    name,[]->[]
  |name,(col,vals)::rest-> if column=col 
      then (if List.hd vals = value 
            then true::aux1(column,value,(name,[(col,List.tl vals)]))
            else false::aux1(column,value,(name,[(col,List.tl vals)])))
      else aux1(column,value,(name,rest)) 
in 

let trueFalseList =  auxTrueFalser (column, value, aTable) in

let rec auxListMaker (vals, trueFalseList) = match vals with
    []->[]
  |h::t -> if List.hd trueFalseList
      then h::auxListMaker(t,List.tl trueFalseList)
      else auxListMaker(t,List.tl trueFalseList)
in

Answer 1

要认识的主要事情是let两种用法。 第一种形式用于定义模块中的值，并且必须出现在模块的最外层。 看起来像这样：

let name = expression

作为一种方便的语法，您可以像这样在最外层定义一个函数：

let name arg = expression

let的另一种形式可以出现在任何地方，用于定义局部变量。 看起来像这样：

let name = expression1 in expression2

这会将name建立为具有expression1给定值的局部变量。 名称的范围（可以使用的地方）是expression2 。

同样，作为一种方便的语法，您可以定义一个本地函数，如下所示：

let name arg = expression1 in expression2

这在我看来就像auxListMaker和auxTrueFlser应该是定义内部本地功能restrict 。 并且trueFalseList应该是本地（非函数）值。 因此， restrict形式如下所示：

let rec restrict (column, value, aTable) =

    let auxTrueFalser (column, value, aTable) =
        ...
    in

    let auListMaker (vals, trueFalseList) =
        ...
    in

    let trueFalseList = auxTrueFalser (column, value, aTable) in

    ... (* body of restrict *)

在此布局中， restrict是在顶层定义的（因此，仅使用let ，no in ）。 其他名称是局部变量（值和函数），因此用let ... in定义。

另请注意，使用前必须定义一个名称。 在您的代码中，在定义之前使用了名称auxListMaker 。 在上面的布局中，顺序确定。

更新

回答其他问题。

let的第一种形式（不带in ）的范围是模块的其余部分。 对于简单的.ml源文件，通常是指文件的其余部分。

是的，上述示意图布局中显示的restrict函数将在每次递归调用时重新评估trueFaleList的值。

如果您在OCaml知道的终端上工作，那么它将突出显示您认为存在语法错误的地方。 上面原理图布局的前几行的语法显然可以。 您必须显示代码（或显示问题的最小的独立子集）以及得到的特定错误消息。