Method Bundles (New Ideas/Vision paper)
summary
Hyo introduces method bundles that group in-place, copy, and consuming variants under one name and let the compiler pick the right implementation. A linear type system and mutable-value-semantics expose reads/writes, the compiler lowers code to an SSA-like HILO IR with a protect-bundle operation, then an access raification pass analyzes future uses to choose inout/let/sync variants. The compiler also synthesizes missing variants from provided ones, eliminating naming boilerplate while enabling actual in-place reuse and optimizations.
AI-written summary · about
chapters (12)
- 0:00Introduction
- 2:27Multiple operation implementations
- 3:51Mutable value semantics in Hyo
- 8:50Access conventions in Hyo
- 11:17Method bundles concept
- 13:03Compiler selects method variants
- 17:24Method bundles in Hyo IR
- 19:11Default implementations
- 20:16Key takeaways
- 21:20Q&A on defaults
- 22:23Abstraction discussion
- 25:20Q&A on bundles
related talks
01h 00mAdvanced Levelization Techniques (part 3 of 3)
01h 02mAdvanced Levelization Techniques (part 2 of 3)
55mBreaking Dependencies: Type Erasure - The Implementation Details
26mInfinite Possibilities
01h 04mBuilding Modules
01h 16mPolymorphism, Cohesion, and Coupling in C++
32mELEVEN LITTLE LIFE-ENHANCING LIBRARIES
19mConcurrent Data Structures Made Easy