Clojurians Log v2

@ben.sless Good question, tbh I haven't thought about this in 6 months. I didn't expect it to be picked up for funding. I'm ramping myself back on, I'll keep you posted.

There's code somewhere which I will share.

Here's the full original proposal with code and idea sketches https://gist.github.com/frenchy64/ea0fd37c3cd4d2063342edf4ae3c80e3

I'll leave comments there

Using this opportunity to discuss - how do you plan to achieve a canonical representation and simplification algorithm that given different shaped schemas will reach the same ground form? Reminds me of some problems from LC expression reduction

note to self: I should look into this and offer my comments as well

Thanks. It'll be a while until I get started, I intend to work on my open PR's first.

that's been a recommended way to do protocols for a while! ben vandergrift and alex miller wrote about that in their book Clojure Applied 10 years ago

Did a bit of research and it seems it’s not supposed to work as per https://github.com/metosin/malli/issues/555

Are there possible workarounds?

I ended up creating a schemed wrapper function that calls the protocol method:

(defprotocol MyProtocol
  (-do-this [x] "internal implementation"))

(m/=> do-this [:=> [:cat :string] :string])
(defn do-this [x]
  (-do-this x))

(defrecord MyRecord [data]
  MyProtocol
  (-do-this [x] (str "processed: " (:data x))))