<div dir="ltr"><pre class="gmail-raw_message_text" id="gmail-raw_message_text">Hello :)
the idea is described here:
Summary of the idea :
Take a linear algebrae book, and implements all the rules as a TDD.
make it works based on abstract base class and sets of Mixins.
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
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.