Nilai (ilmu komputer)

Dalam ilmu komputer, nilai adalah ekspresi yang tidak bisa menjadi dievaluasi lebih jauh (sebuah bentuk normal).[1] Anggota dari tipe adalah nilai-nilai dari tipe itu.[2] 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.

Catatan

sunting
  1. ^ Mitchell 1996, hlm. 92.
  2. ^ Mitchell 1996, hlm. 9.

Referensi

sunting

Pranala luar

sunting