Hylo - The Safe Systems and Generic-programming Language Built on Value Semantics
summary
Hylo is a new language (formerly Val) built around strict mutable value semantics with a working compiler and the bones of a standard library; the team enforces a law of exclusivity and introduces in/inout parameter conventions that the compiler rewrites into efficient pass‑by‑value and destructive moves. Modify-style accessors compile to an LLVM coroutine primitive to avoid lifetimes and copies, traits enable post‑hoc and conditional conformances, and concurrency uses futures with stackful coroutines and thread‑hopping; implementation is immature but no longer merely experimental.
AI-written summary · about
chapters (9)
- 0:00Introduction to Hylo
- 3:19Why this talk matters for C++
- 10:21Sean Parent’s impact
- 25:00C++ fell short of goals
- 34:43Birth of Hylo from Swift
- 41:51Rewriting C++ to enforce value semantics
- 54:11Hylo’s design principles
- 1:00:15Hylo’s generic programming
- 1:16:29Summary
related talks
28mBorrow checking Hylo
01h 02mHydroflow: A Compiler Target for Fast, Correct Distributed Programs
49mHoon and You: A Functional Programming Perspective
20mPredictable macros for hindley milner
20mFluent APIs in Functional Languages
20mHyper Hoare Logic: (Dis-)Proving Program Hyperproperties
15mHACCLE: Metaprogramming for Secure Multi-Party Computation
20mFSLH: Flexible Mechanized Speculative Load Hardening