experimental

object 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.

Source:: language.scala

class Object

trait Matchable

class Any

experimental.type

Type members

Classlikes

@compileTimeOnly("`erasedDefinitions` can only be used at compile time in import statements")

Experimental support for erased modifier

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

@compileTimeOnly("`fewerBraces` can only be used at compile time in import statements")

Experimental support for using indentation for arguments

Source:: language.scala

@compileTimeOnly("`genericNumberLiterals` can only be used at compile time in import statements")

Experimental support for generic number literals.

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

@compileTimeOnly("`namedTypeArguments` can only be used at compile time in import statements")

Experimental support for named type arguments.

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

@compileTimeOnly("`saferExceptions` can only be used at compile time in import statements")

Experimental support for typechecked exception capabilities

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

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.

Source:: language.scala