在 SML 中为环境创建函数表示

Question

好的，所以我正在为 SML 中的环境创建函数表示：

type name = string
type 'a fenv = name -> 'a

我有点不知道如何进行此操作。我需要做的第一件事是定义一个 'a fenv 类型的值 fenvEmpty，它表示空环境（不绑定任何名称的环境）。到目前为止，我有这个：

val fenvEmpty = 
    let
        fun empty (name) = ???
    in
        empty
    end

我不确定我是否走在正确的轨道上。我应该从空函数返回什么？输入 0、null 或 NONE 将不起作用。

稍后，我还必须编写返回与环境中特定名称关联的数据的函数（查找函数），以及将数据绑定到环境中特定名称的函数（绑定函数），但是我' m 已经卡在 fenvEmpty 部分了。

Answer 1

我猜老师希望你在尝试查找未绑定值时raise 异常：

type name = string
type 'a fenv = name -> 'a

exception UnboundName of name

fun fenvEmpty name = raise UnboundName name

但我认为，如果您首先尝试使用为未绑定变量返回NONE 的fenv 版本，它会为您提供更多帮助。我相信这是因为，与异常相反，程序有更多的类型结构可以在编写实现时指导您（另见下文）。所以，首先尝试在fenv 所在的位置编写这个实现：

type 'a fenv = name -> 'a option

现在，对于问题的后半部分，您必须定义一个函数，用于将 name 与 value 关联到现有环境。这将是该函数的类型：

val fenvAssoc : 'a fenv -> name -> 'a -> 'a fenv

请注意，上面返回的结果类型为'a fenv。但请记住 fenv 实际上是什么。它“只是”一个函数：

type 'a fenv = name -> 'a

所以，这个返回值，一个函数，需要以某种方式“记住”与之关联的name 和value。函数通常如何在定义它们的上下文中“记住”它们“看到”的东西？

要查找名称的值，您需要第三个函数，它采用现有环境和名称并返回该名称的值（如果有）：

val fenvLookup : 'a fenv -> name -> 'a

再次记住'a fenv的类型是什么：

type 'a fenv = name -> 'a

我之所以强调这一点，是因为'a fenv 的类型限制了您可以对其应用的操作。您基本上可以：a）创建一个函数或 b）应用一个。