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 https://gluon-lang.org/ 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
Lifetime-based
REPL (I just searched "REPL" on crates.io and picked one)

2 Likes

More seriously, there's Miri.

1 Like