Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://docs.scala-lang.org/scala3/book/ca-context-bounds.html below:

Context Bounds | Scala 3 — Book

In many situations the name of a context parameter does not have to be mentioned explicitly, since it is only used by the compiler in synthesized arguments for other context parameters. In that case you don’t have to define a parameter name, and can just provide the parameter type.

For example, consider a method maxElement that returns the maximum value in a collection:

• Scala 2
• Scala 3

def maxElement[A](as: List[A])(implicit ord: Ord[A]): A =
  as.reduceLeft(max(_, _)(ord))

def maxElement[A](as: List[A])(using ord: Ord[A]): A =
  as.reduceLeft(max(_, _)(using ord))

The method maxElement takes a context parameter of type Ord[A] only to pass it on as an argument to the method max.

For the sake of completeness, here are the definitions of max and Ord (note that in practice we would use the existing method max on List, but we made up this example for illustration purpose):

• Scala 2
• Scala 3

/** Defines how to compare values of type `A` */
trait Ord[A] {
  def greaterThan(a1: A, a2: A): Boolean
}

/** Returns the maximum of two values */
def max[A](a1: A, a2: A)(implicit ord: Ord[A]): A =
  if (ord.greaterThan(a1, a2)) a1 else a2

/** Defines how to compare values of type `A` */
trait Ord[A]:
  def greaterThan(a1: A, a2: A): Boolean

/** Returns the maximum of two values */
def max[A](a1: A, a2: A)(using ord: Ord[A]): A =
  if ord.greaterThan(a1, a2) then a1 else a2

Note that the method max takes a context parameter of type Ord[A], like the method maxElement.

Since ord is a context parameter in the method max, the compiler can supply it for us in the implementation of maxElement, when we call the method max:

• Scala 2
• Scala 3

def maxElement[A](as: List[A])(implicit ord: Ord[A]): A =
  as.reduceLeft(max(_, _))

def maxElement[A](as: List[A])(using Ord[A]): A =
  as.reduceLeft(max(_, _))

Note that, because we don’t need to explicitly pass it to the method max, we can leave out its name in the definition of the method maxElement. This is an anonymous context parameter.

Given that background, a context bound is a shorthand syntax for expressing the pattern of, “a context parameter applied to a type parameter.”

Using a context bound, the maxElement method can be written like this:

• Scala 2 and 3

def maxElement[A: Ord](as: List[A]): A =
  as.reduceLeft(max(_, _))

A bound like : Ord on a type parameter A of a method or class indicates a context parameter with type Ord[A]. Under the hood, the compiler transforms this syntax into the one shown in the Background section.

For more information about context bounds, see the “What are context bounds?” section of the Scala FAQ.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4