Hylo: A Systems Programming Language All in on Value Semantics and Generic Programming

Hylo is a programming language that leverages mutable value semantics and generic programming for high-level systems programming.