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

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

Referensi

  • Mitchell, John C. (1996). Foundations for Programming Languages. The MIT Press. ISBN 0-262-13321-0.
  • Strachey, Christopher (2000). "Fundamental Concepts in Programming Languages". Higher-Order and Symbolic Computation. 13: 11–49. doi:10.1023/A:1010000313106.

Pranala luar

Konten ini disalin dari wikipedia, mohon digunakan dengan bijak.

×
Advertisement