位数组（也称为位图、位集、位串或位向量）是一种特殊的数组数据结构，核心在于位操作。位数组通常用于以紧凑的方式对元素集进行编码，每个元素使用一个位表示，但它要求用户跟踪每个位编码的数据。例如，考虑以下表示具有5个元素的类型的数据类型：

type t = | A | B | C | D of bool

该类型有 2^5 组可能的元素，可以通过整数值（甚至是一个字节）进行编码。然而，为了有效利用这种紧凑表示，用户必须编写额外的样板代码，例如，将类型 t 的每个值映射到相应的单例（写作整数），反之亦然。这样的转换函数可能如下所示：

let to_int = function

| A -> 1 lsl 0 ( 1 )

| B -> 1 lsl 1 ( 2 )