Type shifter

Type shifter je ve formální sémantice monáda přiřazující prvku typu $e$ jím generovaný ultrafiltr typu $\langle \langle e,t\rangle ,t\rangle$: $x\mapsto \lambda P.P(x)$

Tuto konstrukci zavedla v jazykovědě Barbara Partee pro reprezentaci kvantifikátorů. Její myšlenku později rozšířil Chris Barker na používání kontinuací pro reprezentaci jmenných frází.

Implementace je možná v teorii typů pomocí závislostních typů.