原始类型

原始类型的实际范围，取决于所使用的特定编程语言。例如，在C语言中，字符串是一个复合类型，不过在后来的Basic中，字符串是原始类型。

典型的原始类型包含：

• 字符（character、char），依字符集又分为SBCS、DBCS、MBCS这三大类；
• 整数（integer、int、short、long、byte），其有各种精度，依是否可表示负数的数值又再各自区分有号数与无号数；
• 浮点数（float、double、real、double precision）；
• 定点数（fixed），其有各种精度，以及所选的数量级。
• 布尔类型有真和假两值。
• 参照（又称作指针或handle），它是一个较小的值，指向其它可能大得多的对象，其所在的内存地址。

更多更复杂的原始类型：

• 多元组，出现于ML、Python
• 链表，出现于Lisp
• 复数，出现于Fortran、C（C99）、Python
• 有理数，出现于Lisp
• 一等函数、闭包、续体，出现于函数式编程语言，如Lisp和ML

通常预期以基于原始类型的运算，构成较快速的语言。整数加法，例如，可以运行单一的机器指令，且部分处理器提供特定的指令，以单一指令处理一系列的字符。尤其是，C语言标准中提到，「一个『简单』的int对象，具有原始的大小，其大小以运行环境的架构所暗示。」意即在32比特架构下的int，可能就是32比特的长度。

大部分语言不允许以程序修改原始类型的行为或性能。例外的有Smalltalk，其允许在程序内部扩展原始类型。可以在其上运行加入的运算，甚至重新定义内置的运算。