Erik Osheim

So, my (end-user) thoughts on this are: 1. I am really excited to get scientific notation support, as well as support for actual integers. (Are we talking 64-bit signed ints?...

Seems reasonable to me. 👍 Thanks for this! Sorry it had to sit for awhile to get attention.

If you do `javap -c -private com.mydomain.MyClass` you will get the full bytecode for a class (which will include the particular method.

I would be fine removing these things. It may be the case that we will want to use something more like `Dual[Bool, A]` to do something like this.

Given all the confusion around these methods (what to call them, what their return types should be, whether they will be refined in subtypes, etc.) I think we should just...

This might be a _semifield_ [1] but I'm not sure (look at the ring theory definition). I've heard of _division rings_/_skew fields_ (fields without commutativity) and _near fields_ (division rings...

I think this is really compelling. One question: should we require type classes to be "mixed"? E.g. should we talk about `[A](implicit ev: Idempotent[A] with Commutative[A] with ...)` or should...

I think whatever we decide this is the kind of decision that would go well for a style/design guide, explaining how we expect folks to use and extend _algebra_.

Not currently. There is (or at least was) a difference in design philosophy between Spire (which encourages symbolic infix operators) and Algebird (which discourages them). I would be open to...

@TomasMikula Sure -- I would be happy to add an `algebra-syntax` module that provides this functionality. I think it's just a matter of waiting and seeing how the other stakeholders...