Ta description me fait penser à Rust. Mais ça reste bas niveau. Sinon, du côté des langages fonctionnels, tu peux regarder du côté d’ocaml et de F#.