These are chat archives for non/algebra
With a bit more free time in the xmas break period, Im circling back to the question of Algebra syntax
I personally think for Algebra to be useful/used standalone it needs syntax.
It seems that most syntax for algebra typeclasses already exists but is in Spire.
Presumably ideally migration for syntax into Algebra would be completely source-compatible for Spire users? I guess this is achievable, if all the Syntax traits in Spire (which users import) referenced the migrated syntax traits in Algebra.
Or does anyone prefer a conscious break in compatibility, where users have to fix their imports to upgrade to the migrated version? To me, this is an option of last resort, although it does mean less redirection in the codebase..