Nilai (ilmu komputer)

Dalam ilmu komputer, nilai adalah ekspresi yang tidak bisa menjadi dievaluasi lebih jauh. Anggota dari tipe adalah nilai-nilai dari tipe itu. Misalnya, istilah "1 + 2" bukanlah nilai karena dapat berkurang untuk istilah "3". Ungkapan ini tidak dapat dikurangi lebih jauh dan karena itu adalah nilai.