reducing use of case classes for improved binary compatibility

[jenshalm]

This will be the primary focus for M3.

Existing public case classes fall into one of the following four categories:

1. Case classes that can remain unchanged

These are classes which are commonly used in pattern matches in user code and/or are very unlikely to evolve.

This applies to Laika's document AST, comprising of more than 100 case classes. Most extension points are based on partial functions that match on AST nodes, so retaining their unapply is crucial. The structure of the nodes is usually very simple (2 or 3 properties in many cases) and has historically rarely evolved, so sealing these types for the 1.x lifetime seems reasonable. In a rare case of needing adaptations, a new type could be introduced instead (and the existing one deprecated), since the Span and Block base types are not sealed.

The second group of classes in this category are simple ADTs where the members are often either case objects or case classes with a single property.

2. Case classes that become abstract types with private case class implementation

PRs: #488, #490, #491, #498, #499

In this group of types the need to add properties is highly likely, most of them being public configuration API.

While the idea to use the pattern documented here seemed attractive, it does not work for Scala 2.12 (changes in Scala 3 had only been backported to 2.13) and also somewhat messes with user expectations (by providing a case class that cannot be used in pattern matches).

On the other hand, these types naturally support structural equality and the library should support this. Since there are only 26 types in this group and the number is unlikely to grow dramatically, doing a bit of manual plumbing once seems acceptable. The proposed structure for these types is as suggested by @armanbilge & @satorg:

sealed abstract class Person {
  def name: String
  def age: Int
  def withName(name: String): Person
  // ...
}

object Person {

  private final case class Impl(name: String, age: Int) extends Person {
    override def productPrefix = "Person"

    def withName(name: String): Person = copy(name = name)
    // ...
  }

  def apply(name: String, age: Int): Person = Impl(name, age)
}

• Mutator methods will usually follow the common withFoo pattern, but might differ, e.g. for Seq properties where it might be appendFoos, replaceFoos etc.
• In case the new type does not contain an apply method that matches the old signature of the case class in 0.19, the 0.19.4 release should introduce deprecations for those methods as these are commonly used in setup code.
• copy and unapply disappear without deprecations to start 1.x with a clean code base. These are less likely to be commonly used for these types.

Full list of types falling into this category:

• LaikaConfig, LaikaPreviewConfig in laika.sbt
• ServerConfig in laika.preview
• DocumentMetadata, NavigationBuilderContext in laika.ast
• PDF.BookConfig, EPUB.BookConfig in laika.format
• Version, Versions, VersionScannerConfig, OutputContext in laika.rewrite (**)
• LinkConfig, TargetDefinition, ApiLinks, SourceLinks, IconRegistry in laika.rewrite.link (**)
• SelectionConfig, ChoiceConfig, Selections, AutonumberConfig, CoverImage, PathAttributes in laika.rewrite.nav (**)
• Font, FontDefinition in laika.theme.config
• ThemeNavigationSection, FavIcon in laika.helium.config

(**) These types will move to a different package in the final milestone.

3. Case classes that become regular classes without supporting structural equality

PRs: #483, #484, #487

This is a small group of types which were never good candidates for being case classes in the first place. They either don't support structural equality (e.g. by mostly capturing lambdas) or they do this in a way that is brittle and expensive (e.g. DocumentTree).

Full list of types falling into this category:

• BinaryTreeTransformer.Builder - oversight from M2 where all of its siblings became regular classes already.
• RewriteRules - captures partial functions and does not need to be a case class.
• All Cursor types - these are usually constructed and copied by the runtime and merely inspected by user extensions.
• Document, DocumentTree, DocumentTreeRoot, TemplateDocument, UnresolvedDocument - these types have a fairly large number of properties, so keeping the option to add to them feels crucial. But most importantly, the low-level copy method does not behave as expected in many cases due to the complex nature of how document trees are wired - where their config instances inherit from the parent config which will be lost when invoking copy(config = ...).

4. Case classes which do not need to be public

These cases have already been addressed in M2. Since they are no longer public API they can safely remain case classes.

[armanbilge]

While the idea to use the pattern documented here seemed attractive, it does not work for Scala 2.12 (changes in Scala 3 had only been backported to 2.13) and also somewhat messes with user expectations (by providing a case class that cannot be used in pattern matches).

I have other reservations about that pattern as well, see scala/docs.scala-lang#2788 (comment).

[jenshalm]

Yes, I haven't thought of that aspect.

Let me know if you spot anything else in my proposal that might be problematic. This work deals with commonly used configuration types, so users of sbt-typelevel will be affected, too. If you think this looks okay, I would be fine with going through the boring series of PRs without reviews.

[armanbilge]

The proposed structure for these types is:

There is an alternative way you can do this that could save you the plumbing for strings, equality, and hashing.

Where you would normally have:

case class Foo(bar: Bar, baz: Baz)

You can replace with something like

sealed abstract class Foo {
  def bar: Bar
  def withBar(bar: Bar): Foo
  // ...
}

object Foo {
  def apply(bar: Bar, baz: Baz): Foo = FooImpl(bar, baz)
}

private final case class FooImpl(bar: Bar, baz: Baz) extends Foo {
  def productPrefix = "Foo"
  def withBar(bar: Bar) = copy(bar = bar)
  // ...
}

That way the case class is still doing all the hard work, it's just hidden from the user.

[jenshalm]

Oh, that looks neat. Does any Typelevel project use that pattern? If there are no downsides to this approach, I think I would much prefer it over my initial idea.

[armanbilge]

Good question, not sure. I learned this pattern from @satorg in http4s/http4s#6544 (comment).

Edit: FWIW I'm not aware of any downsides, this would be my recommended approach. If I ever get re-motivated to do this de-case-classification in e.g. Feral then I would do it like this.

[jenshalm]

Good to know, thanks a lot for these pointers. Seems like it would save a lot of plumbing. I'll change the ticket accordingly tomorrow.

[armanbilge]

This applies to Laika's document AST, comprising of more than 100 case classes. Most extension points are based on partial functions that match on AST nodes, so retaining their unapply is crucial. The structure of the nodes is usually very simple (2 or 3 properties in many cases) and has historically rarely evolved, so sealing these types for the 1.x lifetime seems reasonable. In a rare case of needing adaptations, a new type could be introduced instead

If you're confident about lack of evolution, then this is perfectly reasonable.

If you really wanted to double-down on compatibility for these classes as well, you could use a similar technique described above, and manually add unapply methods to the companion objects. ScalaMeta recently introduced a new pattern to support evolution of unapply.

object Foo {
  object Initial {
    def unapply(foo: Foo): Option[(Bar, Baz)] = ???
  }

  object After_1_1_0 {
    def unapply(foo: Foo): Option[(Bar, Baz, Qux)] = ???
  }
}

[satorg]

@jenshalm

If there are no downsides to this approach, I think I would much prefer it over my initial idea.

Apparently, there could be a downside if some one relies on Java reflection for such a class. E.g.:

assert(Foo(...).getClass.getName.endsWith("Foo"))

can provide weird results in that case.
However, I believe that making such assumptions can be considered as an anti-pattern in Scala.

[satorg]

@armanbilge

ScalaMeta recently introduced a new pattern to support evolution of unapply.

Oh, that's interesting. How exactly is it supported by ScalaMeta, could you suggest a link please? Thx!

[armanbilge]

Oh, that's interesting. How exactly is it supported by ScalaMeta, could you suggest a link please? Thx!

@satorg https://scalameta.org/docs/trees/guide.html#with-versioned-constructor-like-matchers

[jenshalm]

@satorg I think I'm fine with breaking Java reflection. This also feels somewhat unlikely to be a common pattern for users dealing with simple configuration types.

@armanbilge thanks for the pointer for evolution of unapply. I think for the AST I'd prefer to stick with sealing the APIs. Past experience shows this should work, many types are unchanged from version 0.1 in 2012!. There is also the mentioned option to introduce new AST nodes if needed.

Are the small changes you introduced compared to the original example deliberate (trait vs. abstract class and Impl nested in companion vs. being a top level type)? I assume both variants should work the same way?

[armanbilge]

Are the small changes you introduced compared to the original example deliberate (trait vs. abstract class and Impl nested in companion vs. being a top level type)? I assume both variants should work the same way?

Yeah, those are just issues of taste/style, shouldn't be significant in practice. Abstract classes have a slight performance edge and probably the nested Impl is better from a private scoping perspective.

[jenshalm]

Completed in 8 PRs which are linked in the description above.