这就是个 web repl，不是编辑器

好像是的，我看到一个 web，类似，不完全一样。

Rust 用的是 ace 做的在线编辑器（前端部分），也算是一个老牌云编辑器了。https://github.com/ajaxorg/ace

这个是 https://play.rust-lang.org/

谢谢，这个用来学习很不错！