These are chat archives for non/algebra

26th
Aug 2015
Rüdiger Klaehn
@rklaehn
Aug 26 2015 09:23
@non What's the purpose of algebra.std.Rat? Isn't providing number types more within the scope of spire?
Also, there doesn't seem to be a algebra.std.array. Is that on purpose?
Erik Osheim
@non
Aug 26 2015 12:46
@rklaehn so originally std was designed for law-checking, but was not intended to be canonical
Rat was supposed to be a really simple type which could verify the field laws
i think i'm going to push for its removal
it was never a type that i intended anyone to use in production
Rüdiger Klaehn
@rklaehn
Aug 26 2015 13:12
OK, so std is not intended as the canonical source of default instances. Then what is? Should I just use spire once spire is depending on algebra?
What about the array instances? I guess if std is not canonical, you will only add array instances if you need them for testing...
Erik Osheim
@non
Aug 26 2015 13:19
@rklaehn so, i think the answer is a bit complicated. at this point, i think the intention is for algebra.std to become canonical over time.
but in order to make a smooth transition i don't expect algebird, spire, etc to only use its instances on day 1.
Rüdiger Klaehn
@rklaehn
Aug 26 2015 13:22
So since I need array instances, should I open an issue on algebra or roll my own?
Erik Osheim
@non
Aug 26 2015 13:30
@rklaehn well -- feel free to open a PR here, but don't feel bad about also including them until we release :)
Rüdiger Klaehn
@rklaehn
Aug 26 2015 13:48
Is there anything wrong with the array instances in spire? (I only need Eq and Order)
Or could I just do a PR copying those into algebra?
Erik Osheim
@non
Aug 26 2015 13:56
sure, start by copying them from spire.
during review we can see if they jive with what others expect (my guess would be yes)