In a purefunctional language where

In a purefunctional language where values are immutable, each variable must be initialized to a value that can be checked to make sure it is valid. This suggests that we
should never allow a variable to reference our old friend, null. Null values are a common
source of bugs. Tony Hoare, who invented the concept of null, has recently called it
The Billion Dollar Mistake [Hoare2009].
Java’s model is to “pretend” there is a Nulltype that is the subtype of all other types in
the system. Suppose you have a variable of type String. If the value can be null, you
could also think of the type as actually StringOrNull. However, we never think in either
terms and that’s why we often forget to check for null. What’s really going on is that
we have a variable that can “optionally” hold a value. So, why not explicitly represent
this idea in the type system? Consider the following abstract class:
package option;

Kết quả (Việt) 1:

Trong một ngôn ngữ purefunctional, nơi mà giá trị là không thay đổi, mỗi biến phải được khởi tạo một giá trị có thể được kiểm tra để đảm bảo rằng nó là hợp lệ. Điều này cho thấy rằng chúng tôikhông bao giờ nên cho phép một biến để tham khảo của chúng tôi người bạn cũ, null. Các giá trị null là một phổ biếnnguồn gốc của lỗi. Tony Hoare, người phát minh ra khái niệm về trống, mới gọi là nóSai lầm tỷ đô la [Hoare2009].Mô hình của Java là để "giả vờ" đó là một Nulltype đó là phiên bản của tất cả các loại khác trongHệ thống. Giả sử bạn có một biến loại chuỗi. Nếu giá trị có thể được null, bạncó thể cũng nghĩ rằng loại như thực sự StringOrNull. Tuy nhiên, chúng tôi không bao giờ nghĩ rằng ở một trong haiđiều khoản và rằng có lý do tại sao chúng ta thường quên để kiểm tra null. Những gì đang thực sự xảy ra làchúng tôi có một biến thể "tùy chọn" chứa một giá trị. Vì vậy, tại sao không rõ ràng đại diện choý tưởng này trong hệ thống loại? Hãy xem xét các lớp trừu tượng sau đây:tùy chọn gói;

Kết quả (Việt) 2:

Trong một ngôn ngữ purefunctional nơi các giá trị là bất biến, mỗi biến phải được khởi tạo một giá trị mà có thể được kiểm tra để chắc chắn rằng nó là hợp lệ. Điều này cho thấy rằng chúng ta
không bao giờ nên cho phép một biến tham chiếu đến người bạn cũ của chúng tôi, null. Giá trị Null là một phổ biến
nguồn của lỗi. Tony Hoare, người phát minh ra khái niệm về null, gần đây đã gọi nó là
The Billion Dollar Mistake [Hoare2009].
Mô hình của Java là để "giả vờ" có một Nulltype đó là subtype của tất cả các loại khác trong
hệ thống. Giả sử bạn có một biến kiểu String. Nếu các giá trị có thể là vô giá trị, bạn
cũng có thể nghĩ ra kiểu giống như thực sự StringOrNull. Tuy nhiên, chúng tôi không bao giờ nghĩ rằng một trong hai
điều kiện và đó là lý do tại sao chúng ta thường quên kiểm tra cho null. Những gì thực sự xảy ra là
chúng ta có một biến có thể "tùy chọn" giữ một giá trị. Vì vậy, tại sao không đại diện một cách rõ ràng
ý tưởng này trong các loại hệ thống? Xem xét các lớp trừu tượng sau đây:
gói tùy chọn;