Hylo: A Systems Programming Language All in on Value Semantics and Generic Programming
Summary
Hylo is presented as a systems programming language centered on value semantics and generic programming, with a focus on safe abstractions, compiler innovations, and strong developer tooling. The article catalogs achievements, research, talks, and practical working examples, highlighting its compiler design, standard library direction, and ecosystem tooling, along with ongoing collaboration opportunities.