OCap patterns are hidden gems, so I started adding a pattern language wiki to awesome-ocap: https://github.com/dckc/awesome-ocap/wiki
Background / Motivation:
I was in a smart contracts discussion forum and the introductory question was “what’s your favorite smart contract pattern?” I said “I dunno… Notary / Inspector” assuming everybody knew what that was. But the response I got from the moderator was “is there a write-up on that?”
So I pointed them at Vouching with Notary/Inspector from E in a Walnut on the erights wiki. But
- that looks old and hence out of date, and
And I’m working with a lisp / C hacker who is coming up to speed on JS and OCaps. Again, the erights wiki and nodejs / npm / vs-code / etc. are just worlds apart.
Then I (re-)discovered that I have >100 stars and 14 forks on awesome-ocap , including a fork by Graydon Hoare with 2.4k github followers.
So I started adding a pattern language wiki, with topics such as…