Introducing geometric algebra to software developers
I once saw a critique of the use of geometric algebra in software in that they said it was &quot;untyped&quot; - disparate mathematical objects (scalars, vectors, etc) are &#x27;unified&#x27; as the same thing, which prevents some errors to be caught at compile time or even at runtime.<p>For example, adding a scalar and a vector is a meaningful operation in geometric algebra, but it&#x27;s most likely a programming error if it happens in the overwhelming majority of code. Linear algebra packages in most languages can often detect this error at compile time, or, for dynamic languages, at least detect it at runtime. But if you run a geometric algebra library it can&#x27;t detect this kind of error, because this would be a legitimate (albeit error prone) operation.<p>What do geometric algebra enthusiasts think about this?