#type-system

[ follow ]
#scala-3 #programming #polymorphism #type-features #object-capabilities #programming-security #epfl #scala #anykind
#scala-3
Scala
fromYouTube
1 week ago

Venners & Sommers: Thinking in Scala 3 Types [Scala Days 2025]

Understanding the Scala 3 type system is essential for effective programming.
Scala
fromMedium
1 month ago

Unmasking AnyKind: Type Shapes in Scala 3

AnyKind in Scala 3 allows for a supertype of all types, but lacks specificity about type kind.
more#scala-3
Scala
fromYouTube
1 week ago

Martin Odersky Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote]

Object capabilities enhance security in programming but face challenges in convenience and safety.
E-Commerce
fromMedium
2 months ago

Why Pattern Matching Matters

Pattern matching encodes data shape in the type system, eliminating brittle imperative branching and improving correctness in domain-driven systems like digital commerce.
Software development
fromInfoWorld
4 months ago

Rust vision group seeks enumeration of language design goals

Enumerate Rust design goals, double down on extensibility, and improve crates.io discovery and interop to scale Rust across domains and usage levels.
Web development
fromEvanhahn
5 months ago

Experiment: making TypeScript immutable-by-default

TypeScript cannot be made immutable-by-default purely through its type system; arrays and Records can be made immutable, but regular objects remain problematic.
[ Load more ]