However , some languages with especially flexible and expressive type systems ( notably dependently typed programming languages ) allow types to be manipulated in the same ways as regular terms .
Most strongly typed languages conform to the principle of phase distinction .
Some languages with especially flexible and expressive type systems ( notably dependently typed programming languages ) allow types to be manipulated in the same ways as regular terms .
Most strongly typed languages conform to the principle of phase distinction .