プリミティブ型
ブーリアン型 (boolean, bool) - 真値 (true) または偽値 (false) をとるブール代数型。
ポインタ型 - オブジェクトを指し示すためのメモリ上のアドレス情報を保持する型。C/C++では整数値と相互変換可能。
参照型 - オブジェクトを参照するための型。
ポインタ型や参照型では、それら自身よりも大きなサイズのオブジェクトを指し示すこともできる。ハンドル型と呼ばれることもあるが、内部的にはポインタあるいは参照と等価であることが多い。
プリミティブ型にもなりうる、より高度な型を一部列挙:
ML, Pythonのタプル
LISPの連結リスト
Fortran, C (C99), Pythonの複素数
LISPの有理数
第一級関数、クロージャ、LISPやMLのような関数型言語の再帰
プリミティブ型が最も高速な演算を行える言語構成要素である場合が多い。例として整数の加算は、単一マシン命令として演算され、プロセッサによっては単一マシン命令で文字列を処理する具体的な命令を提供している。特に、C言語標準では「plainなint型オブジェクトのサイズは実行環境のアーキテクチャに依存する」とされている。これは、32ビットアーキテクチャではint型が32ビットになりえることを意味する。
Smalltalkではプログラムによって拡張されたプリミティブデータ型を許可しており、それらの型の演算命令を追加することもでき、場合によっては言語固有の演算命令を再定義することもできる。