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.

0

If you have a fediverse account, you can quote this note from your own instance. Search https://mastodon.social/users/mcc/statuses/115782756183670947 on your instance and quote it. (Note that quoting is not supported in Mastodon.)