ボックス化
関数型言語でも用いられることがあるが、オブジェクト指向のそれとの関連性はまったくない。ボックス型は単なる間接参照であり、Javaのプリミティブ型に相当する型は非ボックス型(Unboxed type)やプリミティブ型と呼ばれ、直接参照される。関数型言語のひとつであるHaskellでは、そのデファクトスタンダードな処理系であるGHCに対してコンパイラオプションを指定し、なおかつ非ボックス型であることを随所で明示しない限り、非ボックス型を用いることができない。にもかかわらず、知らず識らずのうちに利用している、馴染み深い型でもある。IO型など、副作用を表現する型がその典型例である。