Một ngôn ngữ lập trình có thể làm việc tốt mà không cần báo cáo?

Khi lập trình bằng JavaScript, tôi nhận thấy mọi thứ có thể được thực hiện bằng các câu lệnh và các khối có thể được thực hiện chỉ bằng các biểu thức. Một ngôn ngữ lập trình có thể hoạt động tốt chỉ với các biểu thức? Và, nếu có, tại sao các câu lệnh được sử dụng ở tất cả?

Chắc chắn rồi. Cách đơn giản nhất là gán giá trị kết quả cho mọi cấu trúc hiện đang là câu lệnh và từ đó biến nó thành biểu thức. Điều đó không nhất thiết phải hữu ích hoặc có ý nghĩa mặc dù. Lợi ích tiềm năng duy nhất là một chút đơn giản về khái niệm. Tuy nhiên, nếu sau đó bạn tiến hành loại bỏ những thứ như dấu chấm phẩy và vòng lặp (yêu cầu xâu chuỗi thông qua các toán tử và hàm khác thay thế), các chương trình sử dụng nhiều câu lệnh trở nên xấu xí.

Một cách triệt để nhưng có ý nghĩa hơn để làm điều này là thiết kế ngôn ngữ sao cho hầu hết mọi thứ đều có giá trị có ý nghĩa và sử dụng nó theo cách mà bạn hầu như luôn sử dụng một biểu thức cho giá trị có ý nghĩa đó, không phải cho các hiệu ứng khác. Các ngôn ngữ lập trình hàm thực hiện điều này (ở một mức độ nào đó, ví dụ, Haskell có các khai báo, không phải là biểu thức).

Các câu lệnh được sử dụng vì trong mô hình bắt buộc, có nhiều thao tác phổ biến không có giá trị kết quả hữu ích và vì khái niệm hướng dẫn tuần tự (thay vì tính toán) phù hợp với mô hình đó khá tốt. Nếu một tỷ lệ lớn chương trình của bạn đang thay đổi trạng thái, thay vì tính toán các giá trị mới, thì việc yêu cầu tạo ra một giá trị là gì (kết quả của vòng lặp for là gì?). Ngược lại, khi toàn bộ mô hình (FP) của bạn được xây dựng xung quanh việc tính toán các giá trị, các ngoại lệ không có giá trị kết quả sẽ không đảm bảo một ngoại lệ: Thay vào đó, bạn đưa cho chúng một kết quả trọng tâm không có nghĩa gì.

Phụ thuộc vào cách bạn định nghĩa "tuyên bố" và "biểu thức".

Một định nghĩa rất nghiêm ngặt sẽ phân biệt giữa các câu lệnh là "những thứ có tác dụng phụ và có thể là giá trị trả về" và biểu thức là "những thứ có giá trị trả về, nhưng không thể có tác dụng phụ". Với định nghĩa như vậy, không có chương trình có ý nghĩa nào có thể được viết mà không có ít nhất một câu lệnh (sẽ phải đánh giá một biểu thức và đưa ra giá trị trả về của nó) - một mình các biểu thức thuần túy không thể tương tác với thế giới bên ngoài chương trình. Một ngôn ngữ vẫn có thể hoàn toàn thuần túy (nghĩa là không có bất kỳ tuyên bố nào), nếu phần không tinh khiết được chuyển ra khỏi ngôn ngữ và vào hệ sinh thái hỗ trợ (đó chính xác là những gì Haskell làm, mặc dù ngôn ngữ có định nghĩa cũng như biểu thức) .

Tuy nhiên, nếu bạn cho phép các hiệu ứng phụ trong biểu thức, thì sự khác biệt giữa các câu lệnh và biểu thức trở nên tùy ý và ít thú vị hơn - tất nhiên bạn có thể phát minh ra một ngôn ngữ lập trình chỉ bao gồm các biểu thức; hầu hết các phương ngữ Lisp hoạt động nhiều như thế. Trong tình huống như vậy, việc đánh giá một biểu thức cho các tác dụng phụ của nó hoàn toàn giống với việc thực hiện một tuyên bố và người ta có thể lập luận rằng trong một ngôn ngữ như vậy, các biểu thức và tuyên bố là giống nhau. Sự khác biệt giữa một tuyên bố và một biểu thức, sau đó, chỉ là cú pháp.

Nhiều ngôn ngữ vẫn tạo ra sự khác biệt cú pháp này, bởi vì nó hữu ích không phải vì lý do kỹ thuật, mà vì khả năng đọc. Làm cho một cái gì đó một biểu thức báo hiệu rằng bạn quan tâm đến giá trị trả về của nó, ít hơn vì vậy tác dụng phụ của nó; làm cho nó trở thành một tuyên bố cho người đọc biết rằng bạn dự định gây ra tác dụng phụ và giá trị trả về có thể hoặc không thú vị.

ATL và Xtend là các ngôn ngữ lập trình hoạt động kém tuyên bố. Nhiều ngôn ngữ chức năng cũng không có tuyên bố. Vì vậy, có một ngôn ngữ lập trình có thể hoạt động tốt mà không cần báo cáo. Tôi nghĩ rằng các tuyên bố trong nhiều ngôn ngữ là một từ bỏ lập trình bắt buộc. Chúng vẫn được sử dụng vì chúng được biết đến rộng rãi và trong một số trường hợp, chúng làm cho mã dễ đọc hơn.

Đúng.

Các ngôn ngữ chức năng (và các ngôn ngữ gán đơn) mọi thứ đều là một biểu thức. Ví dụ là Haskal (và SISAL). Trong đó cả hai câu lệnh if và vòng lặp trả về giá trị.

Có nhiều loại ngôn ngữ khác: Loại ngôn ngữ dễ hiểu là ngôn ngữ khai báo (tôi chắc chắn có nhiều ngôn ngữ khác không phụ thuộc vào câu lệnh). Những ngôn ngữ này thậm chí không cần biểu thức (theo cùng nghĩa như bạn thường nghĩ). Bạn tuyên bố điều gì là đúng và bạn có thể nhận được nhiều kết quả. Cái dễ ở đây là prolog.