Yon – a topos-oriented language with a content-addressed lattice heap
3 days ago
- #concurrency
- #content-addressing
- #programming-paradigm
- Values are addressed by their content, enabling O(1) structural equality through content-addressed allocation.
- Yon uses a heap based on the Leech lattice (Λ24) with 196,560 slots per heap, where identical content maps to the same slot.
- Worlds are categories, behavior is arrows, and values are immutable sections in Topos-Oriented Programming.
- Identity is explicit; concurrency is managed through processes, and failure is treated as data rather than exceptions.
- Yon eliminates four common mechanisms: garbage collection, threads, exceptions, and typeclasses.