Tag: type system
-
Kotlin’s Type System – Special Types, Generics, Variance, Projections
by
We have a look at some features of Kotlin’s type system: We briefly talk about the special types T?, Unit, Any, Nothing. Then we look into generic types, variance, and projections.
-
Untyped Typescript or Error Prone Covariance
Some time ago I wrote this short article about co- and controvariance in Kotlin and how these features help the developer to write less error prone code. When I talked with some colleagues about TypeScript, I recognized that, despite some experiences I made with small pet projects, I do no know about type variance in…
-
Co- and Contravariance in Kotlin From an Introductionary Domain Level Perspective
by
Covariance and contravariance are properties of type systems of programming languages. They can be pretty intimidating words for a software developer who just wants to implement user requirements. In this article I approach the meaning of these two properties in Kotlin from a domain level perspective. It was part of an internal small workshop on…
You must be logged in to post a comment.