如何为Rust的功能创建字符串地图？

Question

我正在做一个lisp 学习生锈。

作为评估者步骤我需要创建一个关联结构映射字符串（或其他）来函数。在我更熟悉（ruby，clojure）的语言中，我只会在hashmap中定义匿名函数，例如

{ :+ (fn [a b] (+ a b))
  :- (fn [a b] (- a b)) } ; etc

在rust中，这是不可能的，因为类型错误。

let repl_env = HashMap::new();

repl_env.insert("+", |a, b| a + b);
repl_env.insert("-", |a, b| a - b); // expected closure, found a different closure

我想这里发生的是

• 编译器正在推断 hashmap 中的类型，因为＆lt; string，whyttertytytytytypethefirstclosureis＆gt;
• 第二个关闭时间与编译器没有相同的时间错误继续说，即使相同的类型也没有两个关闭，即使没有两个封闭？

我可以将类型添加到参数中，从而使返回类型可依靠，但这无济于事 - 我认为我需要以某种方式注释封闭本身的类型吗？我找不到在文档中这样做的方法。此错误建议拳击，但将封闭式包装在框中:: new 无济于事。 （我以前从未 box ed）。

我还想知道， hashmap 中的生锈是否是在这里使用的正确的东西。我应该使用某种枚举吗？ （当我将用户定义的函数添加到LISP时，我将稍后动态添加内容，因此我认为不是）。

Answer 1

您实际上不需要关闭，因为您没有关闭任何内容，所以您只是在使用匿名静态功能。

这意味着您只能施放匿名功能来函数指针，例如，

let mut repl_env: HashMap<_, fn(i32, i32) -> i32> = HashMap::new();

repl_env.insert("+", |a, b| a + b);
repl_env.insert("-", |a, b| a - b);

如果您确实需要闭合，则可以使用某种动态调度（因为每个闭合都是完全不同的类型），通常是某些东西沿着“框的线路”的行，例如

let mut repl_env: HashMap<_, Box<dyn Fn(i32, i32) -> i32>> = HashMap::new();

repl_env.insert("+", Box::new(|a, b| a + b));
repl_env.insert("-", Box::new(|a, b| a - b));

后一个版本是错误消息所说的：拳击闭合[和]（在这种情况下）使其成为特征对象。

我应该使用某种枚举吗？

使用枚举可能是一个好主意，因为最终您将拥有具有不同签名的功能：在这里您仅限于（i32，i32）的签名 - ＆gt; i32 。尽管您可以将通用签名更新为EG （values） - ＆gt;值< / code>并在内部执行派遣 / typechecking / ...

当我将用户定义的函数添加到我的LISP时，我会稍后动态添加内容，所以我认为不是。

如果要保持“本机”和“用户”功能之间的区别，则可以始终拥有一个存储在枚举中评估用户功能的结果的变体。无论如何，您都需要一种方法来区分它们，因为最终，评估者不会以相同的方式将它们称为。

尽管我认为通常的方法是使所有可见的功能均匀地“用户领域”，并以内置的方式实施这些功能（可能是语法上的区分，或特殊形式，甚至由编译器匹配，并且可能不会或可能不会或可能不会用户可以访问）。

我不知道Lisps通常是如何以根本来完成的，但是例如，您可以让口译员评估术语

(+ a b)

，并检查+是已知/标准函数， a 和 B 是已知的兼容类型，然后在内部进行操作而无需实际调用任何内容。

有趣的一点是，您可以提供正确定义的+函数，

(define (+ a b)
  (+ a b))

因为它应该自行重新浏览，但它可以自行重现，但是内部节点可以由解释器进行模式匹配，因此它可以使用作为高阶功能的钩子。

例如，这就是其中有多少个小词来处理此操作。非文字发送将降落到蹦床方法中，然后看不见地将其反弹到内置的操作中。