Ví dụ, trong các ngôn ngữ chức năng, các biến là phép gán đơn và giá trị của chúng là bất biến khi được gán. Vì vậy, họ có hai trạng thái không bị ràng buộc và ràng buộc , một khi bị ràng buộc, họ không thể thay đổi.
Có một số thuật ngữ toán học hoặc thuật ngữ khoa học máy tính khác phù hợp nhất như điều đó không? Một cái gì đó về mặt ngữ nghĩa không ngụ ý phương sai hoặc tính biến đổi.
Nếu không tồn tại, chẳng hạn như thuật ngữ và nếu bạn đang thiết kế một ngôn ngữ có cấu trúc như vậy, bạn sẽ sử dụng biến nào ngoài biến từ này cho các từ này?
Tôi không thực sự tìm cách thăm dò ý kiến, tôi đang cố gắng tìm hiểu xem đã có một thuật ngữ được chấp nhận (bất kỳ ngành nào) cho một điều như vậy.
1
Chỉ cần gọi họ là bất biến ;)
—
Oded
biến cuối cùng?
—
smp7d
Thuật ngữ toán học cho các loại biến này sẽ là "biến". Khái niệm về một biến có thể thay đổi đã không thực sự tồn tại cho đến khi các ngôn ngữ lập trình đi vào hình ảnh.
—
sepp2k
Tôi không đồng ý với @ sepp2k. Thuật ngữ "biến" được Leibniz đưa ra trong quá trình phát triển phép tính vi phân, và nó đã trở thành một phần của toán học và vật lý kể từ đó. Những đại lượng thay đổi nhất thiết cần khả năng thay đổi. Mặt khác, ý tưởng về $ \ Delta x $ hoặc $ dx $ không có ý nghĩa gì.
—
Michael Bächtold
@ sepp2k tôi không đồng ý. Có là một khái niệm về tái phân trong toán học, mặc dù nó thường không được gọi như vậy. Các nhà toán học liên tục giới thiệu các biến nói x, y trong ngữ cảnh của họ (không gán cho chúng một giá trị) và giả sử một cái gì đó về chúng, giả sử y + x = 5. Tiếp theo họ có thể giả sử rằng x = 1 và kết luận y = 4. Họ có thể bỏ giả định x = 1 và giả sử x = 2 thay vào đó và kết luận y = 3. Đối với tôi đó là một sự thay đổi trong x và chúng ta vẫn đang nói về cùng một biến x, vì giả định x + y = 5 giữ trong cả hai bối cảnh.
—
Michael Bächtold