Comment by wyager

This looks pretty well done. It doesn’t seem like a gimmick; they’ve made a lot of good choices beyond the core conceit of content-addressable code.

One thing I didn’t see skimming the language reference page: is there any sort of typeclass mechanism?