experimental

scala.language.experimental

The experimental object contains features that are known to have unstable API or behavior that may change in future releases.

Experimental features may undergo API changes in future releases, so production code should not rely on them.

Programmers are encouraged to try out experimental features and report any bugs or API inconsistencies they encounter so they can be improved in future releases.

Attributes

Source: language.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: experimental.type

Members list

Type members

Classlikes

Experimental support for improvements in for comprehensions

Attributes

See also: https://github.com/scala/improvement-proposals/pull/79
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: betterFors.type

Experimental support for capture checking; implies support for pureFunctions

Attributes

See also: https://dotty.epfl.ch/docs/reference/experimental/cc
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: captureChecking.type

Experimental support for erased modifier

Attributes

See also: https://dotty.epfl.ch/docs/reference/experimental/erased-defs
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: erasedDefinitions.type

Experimental support for generic number literals.

Attributes

See also: https://dotty.epfl.ch/docs/reference/changed-features/numeric-literals
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: genericNumberLiterals.type

Experimental support for automatic conversions of arguments, without requiring a language import import scala.language.implicitConversions.

Attributes

See also: https://dotty.epfl.ch/docs/reference/experimental/into-modifier
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: into.type

Experimental support for new features for better modularity, including

better tracking of dependencies through classes
better usability of context bounds
better syntax and conventions for type classes
ability to merge exported types in intersections

Attributes

See also: https://dotty.epfl.ch/docs/reference/experimental/modularity

https://dotty.epfl.ch/docs/reference/experimental/typeclasses
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: modularity.type

Experimental support for named tuples.

Attributes

See also: https://dotty.epfl.ch/docs/reference/experimental/named-tuples
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: namedTuples.type

Experimental support for named type arguments.

Attributes

See also: https://dotty.epfl.ch/docs/reference/other-new-features/named-typeargs
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: namedTypeArguments.type

Experimental support for pure function type syntax

Attributes

See also: https://dotty.epfl.ch/docs/reference/experimental/purefuns
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: pureFunctions.type

Experimental support for quote pattern matching with polymorphic functions

Attributes

See also: https://dotty.epfl.ch/docs/reference/experimental/quoted-patterns-with-polymorphic-functions
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: quotedPatternsWithPolymorphicFunctions.type

Experimental support for typechecked exception capabilities

Attributes

See also: https://dotty.epfl.ch/docs/reference/experimental/canthrow
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: saferExceptions.type

Deprecated classlikes

Enhance match type extractors to follow aliases and singletons.

Attributes

See also: https://github.com/scala/improvement-proposals/pull/84
Deprecated: [Since version 3.6]
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: betterMatchTypeExtractors.type

Adds support for clause interleaving: Methods can now have as many type clauses as they like, this allows to have type bounds depend on terms: def f(x: Int)[A <: x.type]: A

Attributes

See also: https://github.com/scala/improvement-proposals/blob/main/content/clause-interleaving.md
Deprecated: [Since version 3.6]
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: clauseInterleaving.type

Experimental support for using indentation for arguments

Attributes

Deprecated: [Since version 3.3]
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: fewerBraces.type

Was needed to add support for relaxed imports of extension methods. The language import is no longer needed as this is now a standard feature since SIP was accepted.

Attributes

See also: http://dotty.epfl.ch/docs/reference/contextual/extension-methods
Deprecated: [Since version 3.4]
Source: language.scala
Supertypes: class Object

trait Matchable

class Any
Self type: relaxedExtensionImports.type

Implicits

Only where this feature is enabled, are macro definitions allowed.

Only where this feature is enabled, are macro definitions allowed. If macros is not enabled, macro definitions are rejected by the compiler.

Macro implementations and macro applications are not governed by this language feature; they can be used anywhere.

Why introduce the feature? Macros promise to make the language more regular, replacing ad-hoc language constructs with a general powerful abstraction capability that can express them. Macros are also a more disciplined and powerful replacement for compiler plugins.

Why control it? For their very power, macros can lead to code that is hard to debug and understand.

Attributes

Source: language.scala

In this article

Generated with