Luka Jacobowitz
In the context of https://github.com/typelevel/feral it would be fantastic to add support to some of the backends for Scala.js. We have an acute need for DataDog and are working on...
For Scala 3.x it would be great if you could enable the`"-language:strictEquality"` compiler flag without having to define a lot of orphan instances. Was there any consideration in generating these...
Right now whenever you import one of the operators all of them get pulled in. We could provide a solution where each operator gets required in its own implementation.
Reproduce: ```scala scala> def x: Polynomial[Int] = PolySparse(List(Term(-1642198702, -1))) x: spire.math.Polynomial[Int] scala> x === x java.lang.ArrayIndexOutOfBoundsException: -1 at scala.runtime.ScalaRunTime$.array_update(ScalaRunTime.scala:76) at spire.math.poly.PolySparse.coeffsArray(PolySparse.scala:54) at spire.math.PolynomialEq.eqv(Polynomial.scala:556) at spire.math.PolynomialEq.eqv$(Polynomial.scala:555) at spire.math.PolynomialInstances0$$anon$14.eqv(Polynomial.scala:568) ... 36 elided...
This is the Gen used for `Algebraic` right now: ```scala lazy val algebraic: Gen[Algebraic] = arbitrary[Int].map(Algebraic(_)) ``` I'd argue to really test `Algebraic` we need a more throrough Gen.
This plays into https://github.com/typelevel/algebra/issues/218. In the Cats ecosystem all numeric types (`Int`, `Long`, `BigInt`, `BigDecimal`, etc.) come with a default Group that does addition. This is pretty useful as most...
Polymorphic function types are a fantastic feature and without a doubt one of the features I'm most excited about in Dotty. They currently have a few restrictions, that hopefully we...
Do we want this? Internal representation uses `NonEmptyList` and there's an argument to be made that using `Foldable` could hide some fairly expensive conversion that should be made explicit, but...
Suggested by @michaelpilquist, E.g., given an `Applicative[Foo]`, `Foo.type` is automatically enriched with `pure`.