I have a daydream. Maybe (probably not) next year will be the year I try to execute on it.
I want to make a runtime-interpreted, gradually typed version of Rust. I want it to be able to load+run regular Rust code, but also I want it to support something like "var x = [rust expression]", where "x" winds up being treated like it is of type GarbageCollectedRefCell<Option<Variant>>.
I want this for a few reasons. In my head, I have a really good name for it, which I will not tell you at this time.