The Topos of Programming | Yon

▤ Summary

Yon introduces a new programming model called Topos-Oriented Programming. It uses a content-addressed heap where identical values share the same slot, which makes structural equality an O(1) comparison. The platform emphasizes categories, arrows, immutable values, and explicit identity, while avoiding garbage collection, threads, exceptions, and typeclasses. The message positions Yon as a software development platform with a novel language/runtime architecture.

▦ Linked Companies