Static typed + lifetime-based (no GC) language in Rust?

  1. I am aware of GitHub - PistonDevelopers/dyon: A rusty dynamically typed scripting language which is dynamically typed + lifetime-based

  2. I am also aware of which is statically typed + gc-ed.

Question: are there any languages written in Rust that are statically typed + lifetime-based + REPL (or really really fast compiler) ?

What about Rust?

Written in Rust
Statically typed
REPL (I just searched "REPL" on and picked one)


More seriously, there's Miri.

1 Like