My first book was ‘The Joy of Clojure’. It’s a very good read, and it’s time that I went over it, again.
I’m not sure that protocols are weird, so much as they have a caveat attached to them.
The Onyx video explained why protocols were not employed in the solution, as if to say, any other solutions would’ve looked to employ protocols. The Onyx platform had an exceptional use-case, in that it needed to take account of run-time changes to code/data.
Now, if anybody can tell me everything to know about writing a bespoke SMT solver, in Clojure, I’d really appreciate it!