Tôi đang đọc Ngôn ngữ lập trình Rust và tìm thấy đoạn văn sau:
Hãy nhớ rằng viết vào một cấu trúc không phải là một hoạt động nguyên tử và nhiều chức năng như
vec.push()
có thể phân bổ lại bên trong và gây ra hành vi không an toàn, do đó, ngay cả sự đơn điệu có thể không đủ để biện minhUnsafeCell
Nó chỉ xuất hiện từ đâu trong cuốn sách và tôi đã có một khoảng thời gian khó khăn trên mạng để cố gắng tìm ra ý nghĩa chính xác của nó trong bối cảnh này. Quá nhiều thông tin là về khái niệm "đơn điệu" của các hàm toán học, điều mà tôi đã biết nhưng dường như không hữu ích lắm.
Tôi dường như chỉ tìm thấy bài viết này nói về nó.
Bây giờ, ngoài việc tôn trọng sự bình đẳng theo cách rõ ràng, tôi cũng bao gồm quy định rằng một chương trình chức năng phải tôn trọng sự đơn điệu của các quan sát. Ý của tôi là gì? Nó phải là một khi bạn đã quan sát một cái gì đó tại một thời điểm, thì điều đó sẽ không còn rõ ràng trong tương lai. Điều này tương tự với tính chất đơn điệu trong ngữ nghĩa Kripke hoặc Beth.
Tuy nhiên điều này cũng khá trừu tượng và tôi cũng không chắc nó cũng nói về điều tương tự.