Hylo - The Safe Systems and Generic-programming Language Built on Value Semantics - Dave Abrahams

Dave Abrahams introduces Hylo, a systems programming language built on strict mutable value semantics to achieve safety and efficiency without borrow checking.

cpponsea.uk​ --- Keynote: Hylo - The Safe Systems and Generic-programming Language Built on Value Semantics - Dave Abrahams - C++ on Sea 2024 --- Two years ago at C++Now, with Dimi Racordon, I introduced the C++ community to Hylo (formerly Val), a language founded on strict mutable value semantics (MVS). MVS creates opportunities for safety, ease-of-use, and efficiency, while limiting tensions among those properties, and Hylo's design takes maximum advantage of that synergy. Since then, we've evolved the design, produced a working compiler and the bones of a standard library, and have made some compelling discoveries. Perhaps more importantly, though the implementation is still immature, we've moved past the phase where we describe Hylo as “experimental,” and openly acknowledge our ambitions to create a language that's broadly used in production. In this talk I'll show the essentials of Hylo's design, discuss the progress we've made in detail, and look at the road ahead. By the end, you'll begin to see the outlines of an inspiring possible future of programming. You may even want to help create that future! --- Slides: github.com/philsquared/cpponsea2024-slides/blob/main/Present… Sponsored by Bloomberg: bloomberg.com/company/values/tech-at-bloomberg/c-plus-plus/ Sponsored By think-cell: think-cell.com/cpponsea --- Dave Abrahams Dave Abrahams is a founding contributor of the Boost C++ Libraries project and the founder of the first annual C++ conference, BoostCon/C++Now. He is a contributor to the C++ standard, and was a principal designer of the Swift programming language. He recently spent seven years at Apple, culminating in the creation of the declarative SwiftUI framework, worked at Google on the Swift for TensorFlow project and, briefly, on the Carbon language, and is now a principal scientist at Adobe's Software Technology Lab, where our mission is to improve the code programmers write through research, education, and tooling. --- C++ on Sea is the international C++ conference taking place by the sea, in the UK. Our venue is in Folkestone, Kent, near the entrance to the channel tunnel with stunning views across the English Channel. Annual C++ On Sea Conference - cpponsea.uk linkedin.com/company/cpponsea/ x.com/cpponsea facebook.com/profile.php?id=61551121766573 reddit.com/r/CppOnSea/ vmst.io/@cpponsea Video Sponsors: --- YouTube Videos Filmed, Edited & Optimised by Digital Medium: events.digital-medium.co.uk --- #hylo #programming #programminglanguage #cpp #cplusplus