These are chat archives for non/algebra

22nd
Aug 2016
P. Oscar Boykin
@johnynek
Aug 22 2016 00:00
like maybe we should kill core?
Erik Osheim
@non
Aug 22 2016 00:00
let's talk about it tomorrow then.
P. Oscar Boykin
@johnynek
Aug 22 2016 00:00
in which case, why wouldn’t we merge ring/lattice?
yeah, tomorrow sounds good.
Erik Osheim
@non
Aug 22 2016 00:01
have a great afternoon/evening!
P. Oscar Boykin
@johnynek
Aug 22 2016 00:01
:) you too!
Erik Osheim
@non
Aug 22 2016 00:31
one other issue i noticed in cats-kernel is that we use abstract class for things like SemigroupFunctions[S], which means you can only mix one of them in.
this means for example that BoundedSemilattice isn't currently inheriting the monoid functions to which it's entitled.
if we ever want to fix this it probably makes sense to do it now before freezing the API + MiMA
anyway talk to you tomorrow!
P. Oscar Boykin
@johnynek
Aug 22 2016 03:17
Yeah, I don't know how much I care about that. I mean, why not just call the Monoid object?
Erik Osheim
@non
Aug 22 2016 03:46
@johnynek that totally works, but it's just an inconsistency i noticed, given that we support it pretty much everywhere else. meh