Void (コンピュータ)
void（ボイド）は、プログラミング言語において、「何もない」といった意味の型などに使われる名前である。プリミティブとしてキーワードないし予約語であることも多い。
ALGOL68やC言語などでは、有意な値を返さないサブルーチンについて、関数としての形式上void型としている。この場合は意味的には（型理論的には）本来はである。呼び出し側に返り値を戻さない関数を書く場合に用いられる。そのような関数は、何かしらの処理、あるいは引数を出力するといった、副作用のために呼び出されるのが通例である。値を返さない手続きは関数ではなくプロシージャである、という言語（Visual BasicやPascal）もある。（「返り値を戻さない」のではなく、「呼び出し側に戻らない」のであれば理論的にもvoid型と言える）
似たものとしてnil（Null）やがあるが、（本来の）Void型はその型の値は存在しないという点が、NullやUnitと異なる。
C言語やC++ではvoid型へのポインタ（のように書く）があるが、これは上で述べたvoid型と直接関連するものではなく、「不特定の」（任意の）型のデータを指すポインタとなっている。つまり、この文脈ではvoidが汎用型として扱われている。プログラムでどんな型のデータもvoid型のポインタから指すことができ、逆に元のデータを参照することもできるため、ポリモーフィックな関数を書く際に有用である（なお、標準規格では、関数ポインタについては扱いが違う）。
また、JavaScriptなど、言語によっては、void演算子が存在する。JavaScriptのvoid演算子は、オペランドの式を評価してその値を得る計算をおこなうが、その値は捨てられ、値を返さない。C言語における、値を捨てることを明示するためのvoid型へのキャスト（たとえば、のように書く）に似ている。