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.

CatatanSunting

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

ReferensiSunting

Pranala luarSunting