我一直在搜索,虽然这似乎是一个非常有用的功能,但所有搜索结果似乎都已存在至少一年。
它的当前状态是什么?是否有一个很好的解决方案,可以在运行时评估任意Rust代码(例如Haskell的hint)?
也许Miri可以做些什么?
答案 0 :(得分:2)
Miri( MIR I 解释器的缩写)是Rust代码的实际解释器。它是Rustc编译器Rustc内部的编译时函数评估的动力,但Miri比当前编译器使用的功能更强大。
出于实验目的,Miri也可以在Rust游乐场使用。它可用于评估程序的特定运行,检测是否存在某些类型的未定义行为。
Miri不会不提供Rust REPL,但可能是part of creating such a tool。