子函数 ml

Question

所以我正在尝试为机器学习课程做作业，问题是该函数需要一个集合类型：例如int * int -> int，而我认为解决问题的方法是使用另一个函数（说迭​​代）来解决问题。

我相信 lisp 有某种方式可以让一个函数只在另一个函数的范围内。

我认为这是可以做到的：

fun a (x, y) = 
  let
     fun b (i,j) = ...;
  in
  ...;

[不确定确切的语法，但我记得读过类似这样的内容，它只是用于临时变量（可能是函数？]

但如果有错误请纠正我。

Answer 1

在 ML 中，函数是一等公民（即值）。您可以像任何其他值一样通过let 绑定它们。

因此，您的想法是正确的。对于作为“迭代器”（即映射/折叠/迭代器）传递的函数来说，这是一个特别好的设计。您的问题太模糊，但无法提供任何进一步的建议。