Giá trị (khoa học máy tính)

Trong khoa học máy tính, giá trị (tiếng Anh: value) là một biểu thức mà không thể đánh giá thêm được nữa (một dạng chuẩn).[Còn mơ hồ ][1] Các thành viên của một loại là những giá trị của kiểu đó.[2] Ví dụ, biểu thức 1 + 2 không phải là giá trị bởi vì nó có thể được rút gọn thành biểu thức 3. Biểu thức này không thể được rút gọn thêm nữa (và là thành viên của kiểu số tự nhiên - natural number) và do vậy là giá trị.

"Giá trị của một biến" được tính bởi ánh xạ trong môi trường.[cần dẫn nguồn] Trong ngôn ngữ với biến có thể gán, cần phân biệt giữa r-value (hay nội dung) và l-value (hay vị trí) của biến.[3]

Trong ngôn ngữ (cấp cao) khai báo, giá trị phải được minh bạch tham chiếu. Điều này có nghĩa là giá trị kết quả độc lập với vị trí trong đó biểu thức (phụ) cần tính toán giá trị được lưu trữ. Chỉ nội dung của vị trí (giá trị bit, 1 hay 0) và sự thể hiện của chúng là quan trọng.[cần dẫn nguồn]

  1. ^ Mitchell 1996, tr. 92.
  2. ^ Mitchell 1996, tr. 9.
  3. ^ Mitchell 1996, tr. 389–390.

Tham khảo

[sửa | sửa mã nguồn]
  • 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. Quyển 13. tr. 11–49. doi:10.1023/A:1010000313106.

Liên kết ngoài

[sửa | sửa mã nguồn]
Chúng tôi bán
Bài viết liên quan
Phân biệt Ma Vương và Quỷ Vương trong Tensura
Phân biệt Ma Vương và Quỷ Vương trong Tensura
Như các bạn đã biết thì trong Tensura có thể chia ra làm hai thế lực chính, đó là Nhân Loại và Ma Vật (Ma Tộc)
Những hình ảnh liên quan đến Thiên Không và các manh mối đáng ngờ xung quanh Childe
Những hình ảnh liên quan đến Thiên Không và các manh mối đáng ngờ xung quanh Childe
Thread này sẽ là sự tổng hợp của tất cả những mối liên kết kì lạ đến Thiên Không Childe có mà chúng tôi đã chú ý đến trong năm qua
Chủ nghĩa khắc kỷ trong đời sống
Chủ nghĩa khắc kỷ trong đời sống
Cuộc sống ngày nay đang dần trở nên ngột ngạt theo nghĩa đen và nghĩa bóng
Yuki Tsukumo có thể đấm bay thực tại?
Yuki Tsukumo có thể đấm bay thực tại?
Tìm hiểu về “sunyata” hay “Hư không” dựa trên khái niệm cơ bản nhất thay vì khai thác những yếu tố ngoại cảnh khác ( ví dụ như hiện tượng, tôn giáo, tâm thần học và thiền định)