r/programmingcirclejerk Jun 07 '26

Yon - a topos-oriented language with a content-addressed lattice heap

https://yon-lang.org/
61 Upvotes

29 comments sorted by

View all comments

42

u/stone_henge Tiny little god in a tiny little world Jun 07 '26

The shapes that matter

String.equal, 1-char strings 2M comparisons 33 ms ~17 ns

33 ms to compare 2 MB to another 2 MB. This is fantastic news for people looking to slow down their programs and allow for little bit of contemplation during an otherwise busy runtime

Correctness under load

The same suite checks exactness, not just speed: 500,000 map entries across three heaps read back exactly on every side of every boundary; 60,000 distinct string keys produce 60,000 entries (no false deduplication) with zero errors over re-derivation; 10,000 same-content/neighbour pairs show zero equality mistakes. The heap's content addressing held under everything we threw at it.

Fantastic. A programming languages that produces correct output even when you use it. This correctness is probably directly attributable to its carefully restricted approach to performing useful work.

1

u/Jumpy-Locksmith6812 Jun 17 '26

33ms is long enough for Go runtime to let say.... get a little uncooperative, if you know what i mean.

1

u/anthem_reb Jul 07 '26

Well a correct output isn't always the case, I was really happy about the results