Erik Erlandson

xref, I proposed pushing the literals into the types, since this is quite clean in scala3: https://github.com/fthomas/refined/issues/762 to wit: instead of `refineMV[Positive](1)` one could write `refineMV[Positive, 1]`

+1 for @armanbilge inline / `Predicate` concept

I am starting to port [coulomb-pureconfig](https://github.com/erikerlandson/coulomb/blob/scala2/coulomb-pureconfig/src/main/scala/coulomb/pureconfig/package.scala#L41) into the Scala 3 world, and I'm trying to figure out what approaches are currently available to me. My main interest is coming up...

Followup on my comment above, the answer is "yes, Method 2 works!" https://github.com/erikerlandson/coulomb/blob/b6c819d9ae443d4e39130905a9e2d2b66342ade4/pureconfig/src/main/scala/coulomb/pureconfig.scala#L32

Support for scalaJS and scalaNative would be very nice.

some other posts on this topic: - https://erikerlandson.github.io/blog/2020/05/06/unit-analysis-for-linear-regression/ - https://erikerlandson.github.io/blog/2020/05/23/some-unit-signature-results-for-matrix-inversions/ - https://erikerlandson.github.io/blog/2022/08/12/a-unit-analysis-of-matrix-inversions-and-svd/

for scala 3 collection design and implementations - https://docs.scala-lang.org/overviews/core/custom-collections.html - https://docs.scala-lang.org/overviews/core/architecture-of-scala-213-collections.html

I haven't had any requests for this in 6 years so I'll close it.

It works if class does not inherit from `A => B` ```scala object repro: // works when Mapper does not extend A=>B abstract class Mapper[A, B]: def apply(a: A): B...