Mar 16, 2023 · Mobile Development

Dart Generics: Covariance, Contravariance, and Type Safety

This article explains Dart's generic type system, comparing its covariance, contravariance, and invariance with Java and Kotlin, demonstrates practical code examples, discusses safety concerns of mutable covariant collections, and introduces the 'covariant' keyword for safe method overriding in Flutter development.

DARTFlutterGenerics

0 likes · 24 min read

Dart Generics: Covariance, Contravariance, and Type Safety

ELab Team

Dec 8, 2021 · Frontend Development

Understanding Covariance, Contravariance, and Bivariance in TypeScript

This article explains TypeScript's covariant, contravariant, bivariant, and invariant type relationships, why methods and function properties behave differently under strictFunctionTypes, how ESLint's @typescript-eslint/method-signature-style rule enforces function property signatures, and practical ways to achieve safer type definitions.

TypeScriptbivariancecontravariance

0 likes · 11 min read

Understanding Covariance, Contravariance, and Bivariance in TypeScript