The Dotty compiler is going down the route you are looking for.