The first bit of the #eiffel PL Wikipedia page reads like an advert, but then check out the 'implementations' section!
miniblog.
Related Posts
Before Rust had a strong concurrency model, Eiffel created SCOOP, where the compiler chooses how to thread: