b'\n_START_ARTICLE_\nNilai (ilmu komputer)\n_START_PARAGRAPH_\nDalam ilmu komputer, nilai adalah ekspresi yang tidak bisa menjadi dievaluasi lebih jauh (sebuah bentuk normal). 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 merupakan anggota dari jenis Nat) dan karena itu adalah nilai.'