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

  • Value Object
  • Transfer Object Pattern
  • l
  • b
  • s