(require '[clojure.string :as str])

(defmacro fmt [s & args]
  `(format ~(str/replace s #"\{(\d+)\}" (fn [[_ i]] (str "%" i "$s"))) ~@args))

(fmt "{2} - {1}" :foo :bar) ;;=> ":bar - :foo"

Whats the name of the higher level concept above assignment and filtering as In "assign A to 3" AND "give me the A that is 3" probably have a unified concept behind them.

or at least, whats the name for the function of the later. It's like filter

i guess in set theory its a join

not following what you're after. set theory would normally talk of unions not joins

or cross products

@drewverlee like in math, "for all a, where a=3" as opposed to "for all a, a=3"?

it sounds like you are more interested in defining an algorithm or procedure though, where the normal thing in most mathematical fields is to show something exists, and the algorithm or procedure is an implementation detail of a proof

Maybe their isn't a higher level relationship. One is assignment. I"m lacking a good way to describe the other. "for all a, where a=3"

A related concept would be how Datomic clauses are ___ in order to realize the values. Thats what prompted me to think of join.

unification?...

I believe thats correct, though i'm not sure i understand the full scope of the idea. A quick search of prolog terminology came up with the same word. It seems good enough for my current use. 🙂

it sounds like "select" to me

Unification?

sounds like the channel has unified on an answer

how eventually consistent of it