Có các ngôn ngữ không có "null" không?

Question

Có nhiều người nghĩ rằng khái niệm về giá trị đặc biệt null (vì nó được sử dụng trong lanuages ​​như C, Java, C#, Perl, Javascript, SQL, vv) là một ý tưởng tồi. Có một số câu hỏi về điều này trên SO và P.SE, chẳng hạn như Best explanation for languages without null và Are null references really a bad thing?.

Tuy nhiên, tôi không thể tìm thấy bất kỳ ngôn ngữ nào không có chúng. Tất cả các ngôn ngữ tôi quen thuộc có null hoặc một thứ gì đó tương tự (ví dụ: "không xác định" trong Perl).

Tôi nhận thấy rằng mọi ngôn ngữ đều cần một số cách để thể hiện "sự vắng mặt của một giá trị". Tuy nhiên, thay vì có "null" hoặc "undefined", điều này cũng có thể được thực hiện rõ ràng bằng cách sử dụng một cái gì đó như Maybe (Haskell) hoặc Optional (Ổi). Sự khác biệt chính để có "null" hoặc "undefined" là một đối tượng chỉ có thể có "không có giá trị" nếu nó có một loại cụ thể (Có thể, Tùy chọn ...). Ngược lại, "null"/"undefined" thường là giá trị hợp lệ có thể cho mọi loại.

Có bất kỳ ngôn ngữ nào không có khái niệm "rỗng" hoặc khái niệm tương tự theo ý nghĩa này không?

Answer 1

Dưới đây là danh sách ngôn ngữ không đầy đủ mà không có null/undefined/nothing theo nghĩa bạn mô tả, được sắp xếp theo năm xuất hiện đầu tiên theo Wikipedia.

• Pony (trước-1.0.0). Sử dụng loại liên kết trong đó một trong các loại là None.
• Crystal (trong giai đoạn alpha): Có nil, nhưng ngăn chặn tất cả ngoại lệ con trỏ null tại thời gian biên dịch.
• Kotlin (2015): Có các loại tùy chọn với cú pháp ?.
• Swift (2014): Có các loại tùy chọn với cú pháp ?.
• Hack (2014): Có các loại tùy chọn với cú pháp ?.
• Elm (2012): Có loại công đoàn Maybe.
• Ceylon (2011): Có các loại tùy chọn với cú pháp ?.
• Rust (2010): Có loại tùy chọn Option.
• Fantom (2005): Có các loại tùy chọn với cú pháp ?.
• F# (2005): Có loại công đoàn Option.
• Nice (2003): Có các loại tùy chọn với cú pháp ?.
• OCaml (1996): Có loại công đoàn option.
• Haskell (1990): Có loại công đoàn Maybe.
• Standard ML (1990): Có loại công đoàn option.
• Tcl (1988)

Hãy thoải mái để bổ sung cho danh sách.

Answer 2

Bạn đã đề cập đến Haskell làm ví dụ về ngôn ngữ không có "null". Ngoài ra còn có các ngôn ngữ trong họ ML như Standard ML, OCaml hoặc F #. Nhiều ngôn ngữ được gõ động cũng không có con trỏ null, lược đồ sẽ là một ví dụ tốt.

Answer 3

Tcl không có khái niệm gì về null. Tất cả mọi thứ là một giá trị và tất cả các giá trị có một biểu diễn chuỗi (thường được tóm tắt là "Tất cả mọi thứ là một String").

Điều gần nhất với null là chuỗi rỗng.

Để chuyển tải khái niệm "không có giá trị", bạn cần một số sáng tạo.

Tất nhiên, như đã đề cập ở trên, một số người sử dụng chuỗi rỗng để biểu thị không có giá trị. Để làm việc này, các chuỗi rỗng không thể hợp lệ trong tập dữ liệu bạn đang xử lý. Đáng ngạc nhiên, rất nhiều dữ liệu thực tế rơi vào thể loại này.

Một cách khác để biểu thị sự vắng mặt của giá trị là chỉ cần ném một lỗi. Trong một số trường hợp, đây chính xác là những gì nên được thực hiện thay vì trả về một số giá trị null hoặc lỗi (một anti-pattern học được từ C và một thói quen khó loại bỏ).

Một cách khác là trả lại danh sách trống (danh sách tương đương với mảng của Tcl bằng các ngôn ngữ khác). Biểu diễn chuỗi của một danh sách rỗng là chuỗi rỗng. Nhưng may mắn thay, chuỗi đại diện của một danh sách chứa một chuỗi rỗng là hai dấu ngoặc kép: "\"\"". Sự khác biệt này cho phép một để phân biệt giữa một danh sách có chứa "không có gì" và một danh sách có chứa một chuỗi không có ký tự trong đó.

Cuối cùng một số người chỉ đơn giản là cho biết sự vắng mặt của các giá trị đơn giản bằng cách không khai báo biến (hoặc không khai báo nó, đó là một điều trong tcl). Điều này nghe có vẻ kỳ quặc bởi vì các biến có vẻ là một cấu trúc biên dịch thời gian (trong khi các giá trị là cấu trúc thời gian chạy) nhưng trong tất cả mọi thứ, tất cả mọi thứ đều là thời gian chạy. Vì vậy, có thể cho mã để sử dụng không tồn tại của biến như một tín hiệu. Cố gắng đọc một biến không khai báo dẫn đến một lỗi mà bạn có thể bắt được. Ngoài ra, Tcl cũng cho phép bạn sử dụng nội tâm để kiểm tra trạng thái của trình thông dịch. Vì vậy, bạn có thể sử dụng [info exist x] để kiểm tra xem biến có tên là x tồn tại hay không.