CODEWITHSUNDEEP
typescriptcompiler-specific
Daniel Danielecki
Daniel Danielecki

Reputation: 10502

What is bivariant parameter? ~ TypeScript

The TypeScript's docs comes with Compiler Options, where the --strictFunctionTypes is defined with its description. Unfortunately, can't get what is bivariant parameter. I tried to understand https://github.com/Microsoft/TypeScript/wiki/FAQ#why-are-function-parameters-bivariant as well.

Upvotes: 9

Views: 2169

Answers (1)

Austin Fahsl
Austin Fahsl

Reputation: 378

A "bivariant" parameter is one that is both covariant and contravariant.

The TypeScript 2.6 release notes describe the --strictFunctionTypes compiler option well, since that's the first release that supported it.

Under --strictFunctionTypes function type parameter positions are checked contravariantly instead of bivariantly. For some background on what variance means for function types check out What are covariance and contravariance?.

This article linked in that quote describes the difference between covariance and contravariance: https://www.stephanboyer.com/post/132/what-are-covariance-and-contravariance

Upvotes: 7

Related Questions