Typedef
Haskell、Miranda、Objective Caml等のような、多くの静的型付けの関数型言語では、C言語でのtypedefと同じ働きをする、type synonymを定義することができる。Haskellでの例を示す。
これにより、Intのペアと同じものをtype synonymのPairOfIntsで定義することができる。
PascalおよびObject Pascalではtypeキーワードを使用することで、typedef同様に別名を定義することができる。
C/C++の特徴を取り入れたC#言語では、基本型のサイズは厳密に決められており、またtypedefは言語機能として存在しないが、代わりにusingエイリアス ディレクティブ機能が存在する。