3

我一直在搜索,虽然这似乎是一个非常需要的功能,但所有搜索结果似乎至少有一年的历史。

这是什么现状?是否有在运行时评估任意 Rust 代码的好解决方案(如 Haskell 的提示)?

也许可以用Miri做点什么?

4

1 回答 1

4

MiriMIR I nterpreter 的缩写)是 Rust 代码的事实上的解释器。它是 rustc(Rust 编译器)内部编译时函数评估的动力,但 Miri 比编译器当前使用的功能更强大。

出于实验目的,Miri 也可以在 Rust 操场上使用。它可用于评估程序的特定运行,检测是否存在某些类型的未定义行为。

Miri 不提供Rust REPL,但它可能是创建此类工具的一部分

于 2019-01-29T00:08:44.380 回答