<div dir="ltr"><pre class="gmail-raw_message_text" id="gmail-raw_message_text">Hello :)

the idea is described here:
<a href="http://jul.github.io/cv/pres.html#printable">http://jul.github.io/cv/pres.html#printable</a>

Summary of the idea :

Take a linear algebrae book, and implements all the rules as a TDD.
<a href="https://github.com/jul/archery/blob/master/consistent_algebrae.py">https://github.com/jul/archery/blob/master/consistent_algebrae.py</a>

make it works based on abstract base class and sets of Mixins.
<a href="https://archery.readthedocs.io/en/latest/">https://archery.readthedocs.io/en/latest/</a>

And see if we can make cos/__abs__/dot and if it gives naively the intended
results ? (spoiler: yes)

Making it work with dict, and "other" dictionary like counter by using
ineritance
<a href="https://archery.readthedocs.io/en/latest/#advanced-usage">https://archery.readthedocs.io/en/latest/#advanced-usage</a>

My idea is : wouldn't it be nice if we introduced geometries as sets of
mixins for objects ?
(Hilbertian algebrae could be nice too, and we could make MutableMapping
behave like bra/kets).

So I was proposing a soft discussion on : could we agree that it would be
nice to consider operation overloading as a whole set of behaviours that
could profit from being consistent in a categorized way ? (like the + of []
could be the + of "RecordAlgebrae")
Meaning we could define sets of "expected behaviour consistent interaction
between operators" as we defined the abc and call them algebrae?

I offer the LinearAlgebrae Mixins as a POC, and was thinking of creating a
unittest to qualify if an object is following the rules of linear algebrae.

What are your opinions ?
I don't actually see a lot of use case except it was funny to build. But
maybe it can be of use.


Cordialement

-- 
Julien</pre></div>