Nilai (ilmu komputer)
Tampilan
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 | sunting sumber]- ^ Mitchell 1996, hlm. 92.
- ^ Mitchell 1996, hlm. 9.
Referensi
[sunting | sunting sumber]- 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.