Open zohaad opened 4 years ago
This needs a bit more thought before anything could be implemented. There are a few major differences from the rust book:
play.rust-lang.org
to run code, which doesn't include rocket
. We would either need to get rocket
into the rust playground, or to duplicate it to some extent.play.rust-lang.org
, again pointing to needing to duplicate it in some way.The need to duplicate and/or extend functionality from the playground looks like the biggest issue: it's significantly more difficult to maintain than rocket.rs
is, unless there are existing code playpens besides play.rust-lang.org
that we could integrate somehow.
It would probably be too demanding, but I wonder if something in browser could be accomplished like WordPress is doing. Supposedly miri would be easier to compile to wasm that rustc: https://github.com/rust-lang/miri/issues/722
Suggestion: make code examples on rocket.rs compilable like in the "expandable view" for the rust book code examples.