3.7.2
LearnInstallPlaygroundFind A LibraryCommunityBlog Scala 3 Reference LearnInstallPlaygroundFind A LibraryCommunityBlog Docs New Types Intersection Types Union Types Type Lambdas Match Types Dependent Function Types Polymorphic Function Types Enums Enumerations Algebraic Data Types Translation of Enums and ADTs Contextual Abstractions Given Instances Using Clauses Context Bounds Deferred Givens Importing Givens Other Forms Of Givens Extension Methods Right-Associative Extension Methods: Details Implementing Type classes Type Class Derivation How to write a type class `derived` method using macros Multiversal Equality Context Functions Implicit Conversions By-Name Context Parameters Relationship with Scala 2 Implicits Metaprogramming Inline Compile-time operations Macros The Meta-theory of Symmetric Metaprogramming Run-Time Multi-Stage Programming Reflection TASTy Inspection Other New Features Trait Parameters Transparent Traits and Classes Universal Apply Methods Export Clauses Opaque Type Aliases Opaque Type Aliases: More Details Named Tuples Open Classes Parameter Untupling Kind Polymorphism The Matchable Trait The @threadUnsafe annotation The @targetName annotation New Control Syntax Optional Braces Safe Initialization TypeTest Experimental Definitions Preview Definitions Binary Integer Literals Toplevel Definitions Other Changed Features Numeric Literals Programmatic Structural Types Rules for Operators Wildcard Arguments in Types Imports Changes in Type Inference Changes in Implicit Resolution Implicit Conversions Changes in Overload Resolution Match Expressions Vararg Splices Pattern Bindings Option-less pattern matching Automatic Eta Expansion Changes in Compiler Plugins Lazy Vals Initialization Main Methods Escapes in interpolations Dropped Features Dropped: DelayedInit Dropped: Scala 2 Macros Dropped: Existential Types Dropped: General Type Projection Dropped: Do-While Dropped: Procedure Syntax Dropped: Early Initializers Dropped: Class Shadowing Dropped: Limit 22 Dropped: XML Literals Dropped: Symbol Literals Dropped: Auto-Application Dropped: Weak Conformance Deprecated: Nonlocal Returns Dropped: private[this] and protected[this] Dropped: Wildcard Initializer Preview Better fors Experimental CanThrow Capabilities Erased Definitions Named Type Arguments Numeric Literals Explicit Nulls MainAnnotation The `into` Type and Modifier Capture Checking Pure Function Syntax Tupled Function Modularity Improvements Better Support for Type Classes The runtimeChecked method Automatic Parameter Unrolling Reference-able Package Objects Quoted Patterns with Polymorphic Functions Scala 3 Syntax Summary Language Versions Source Compatibility Binary Compatibility Soft Keywords A Classification of Proposed Language FeaturesGenerated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
Scala 3 Reference/
Other Changed Features/
Changes in Type Inference Edit this page on GitHub Changes in Type InferenceFor more information, see the two presentations
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
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