Tôi đã nói HTML là ngôn ngữ đánh dấu, C ++ là ngôn ngữ lập trình, điều gì có thể tạo ra sự khác biệt đó?

Những người bạn lập trình của tôi luôn nói với tôi rằng HTML là ngôn ngữ đánh dấu và C ++ là ngôn ngữ lập trình. Khi tôi hỏi họ sự khác biệt là gì, họ không bao giờ cho tôi một câu trả lời hợp lý.

Điều gì có thể khiến một người gọi C ++ là ngôn ngữ lập trình, còn HTML thì không?

Ngôn ngữ lập trình là ký hiệu được thiết kế để truyền hướng dẫn đến máy. Theo định nghĩa đó, cả C ++ và HTML đều là ngôn ngữ lập trình, như ký hiệu Joseph Marie Jacquard được sử dụng vào năm 1801 để lập trình máy dệt của mình .

Tuy nhiên, với sự phổ biến của các ngôn ngữ được sử dụng để cấu trúc và / hoặc mô tả dữ liệu, định nghĩa của ngôn ngữ lập trình đã thay đổi để chỉ bao gồm các ngôn ngữ có khả năng diễn đạt thuật toán. Đây là định nghĩa phổ biến hơn hiện nay và nó loại trừ các ngôn ngữ như HTML hoặc XML.

Trọng tâm của định nghĩa hiện tại là khái niệm về sự hoàn thiện của Turing . Hầu hết các ngôn ngữ lập trình đều hoàn chỉnh Turing và tính hoàn chỉnh của Turing thường được trích dẫn là một đặc điểm quan trọng tách biệt ngôn ngữ lập trình với bất kỳ ngôn ngữ máy tính nào khác. Điều này là đủ tốt như một quy tắc chung, nhưng không hoàn toàn chính xác:

1. Một số ngôn ngữ hoàn chỉnh không Turing được coi là ngôn ngữ lập trình, ví dụ: Từ thiện .
2. Một số ngôn ngữ thường không được coi là ngôn ngữ lập trình là Turing hoàn chỉnh, ví dụ XSLT .
3. Turing hoàn thiện một mình không nói nhiều về tính hữu ích của ngôn ngữ .

Tùy thuộc vào ngữ cảnh, bạn có thể chọn bất kỳ định nghĩa nào bạn muốn.

Chỉnh sửa:

Nói cho rõ hơn, việc triển khai một ngôn ngữ không tạo ra các đặc điểm cho chính ngôn ngữ đó, ví dụ: Thông số kỹ thuật của ngôn ngữ có thể định nghĩa một ngôn ngữ hoàn chỉnh, ai đó có thể thực hiện ngôn ngữ đó một cách ngớ ngẩn. Tuy nhiên, việc triển khai này không hoàn thành không có nghĩa là ngôn ngữ không hoàn chỉnh (thay vào đó có nghĩa là việc triển khai không tuân thủ). Các chi tiết của một ngôn ngữ và các chi tiết của việc thực hiện một ngôn ngữ cụ thể sẽ được công nhận là những điều riêng biệt, đây là lý do tại sao việc gọi một ngôn ngữ được giải thích hoặc biên dịch, v.v.

Cụm từ "Tôi biết điều đó khi tôi nhìn thấy nó" là một biểu thức thông tục mà người nói cố gắng phân loại một sự kiện hoặc sự kiện có thể quan sát được, mặc dù danh mục này mang tính chủ quan hoặc thiếu các tham số được xác định rõ ràng. Cụm từ này được sử dụng nổi tiếng bởi Thẩm phán Tòa án Tối cao Hoa Kỳ Potter Stewart để mô tả bài kiểm tra ngưỡng của ông về sự tục tĩu trong Jacobellis v. Ohio (1964).

- "Tôi biết điều đó khi tôi thấy nó" bài viết Wikipedia

Giống như tục tĩu, tôi nghĩ tất cả chúng ta đều biết một ngôn ngữ lập trình khi chúng ta nhìn thấy một ngôn ngữ. Rõ ràng OP làm điều đó, vì bạn đã đánh giá C ++ là ngôn ngữ lập trình và HTML không phải là một ngôn ngữ.

Vậy chính xác mục tiêu của việc theo đuổi một định nghĩa chính thức là gì? Yannis đã đưa ra một danh sách lớn về lý do tại sao định nghĩa phổ biến nhất, tính đầy đủ của Turing, là thiếu sót: nó dẫn đến việc phân loại thách thức bài kiểm tra "Tôi biết khi tôi nhìn thấy nó".

Tôi nói với bạn rằng bất kỳ định nghĩa nào bạn có thể đưa ra sẽ dẫn đến một số ngôn ngữ mà tất cả chúng ta cảm thấy không phải là ngôn ngữ "lập trình" sẽ được phân loại là như vậy; hoặc với một số ngôn ngữ mà tất cả chúng ta cảm thấy là ngôn ngữ "lập trình" sẽ được phân loại là không được như vậy.

Tại sao không đi với ruột của bạn? Tôi sử dụng một heuristic đơn giản: một ngôn ngữ lập trình là một ngôn ngữ mà mục đích chính của tôi, theo quan sát của tôi, là để viết các chương trình. Không đánh dấu nội dung. Không chuyển đổi XML. Để viết chương trình mục đích chung. Tôi chỉ muốn biết điều đó khi tôi nhìn thấy nó hơn là cố gắng đưa ra một định nghĩa chính thức và tôi không thấy bất kỳ giá trị thực sự nào có thể đến từ việc thử định nghĩa như vậy.

Các ngôn ngữ đánh dấu chủ yếu xử lý cách hiển thị thông tin và chúng thường thiếu trong cơ sở hạ tầng lập trình các biến, toán, so sánh, ra quyết định (nếu ... sau đó), vòng lặp (trong, trong khi), v.v.

HTML tự nó là tĩnh; nghĩa là, giống như một trình xử lý văn bản, nó có nghĩa là để trình bày thông tin như nó vốn có. Chỉ với việc bổ sung một số loại ngôn ngữ lập trình (thường là các ngôn ngữ script như JavaScript, PHP, v.v.), các trang web HTML có thể có nội dung "thay đổi". Các ngôn ngữ kịch bản cung cấp các khả năng "lập trình" với các biến, toán học, so sánh, ra quyết định, vòng lặp, v.v.

HTML là một ngôn ngữ khai báo. Nó không tự làm được gì nhiều, nó chỉ mô tả một tài liệu và nội dung của nó (sử dụng các thẻ có ý nghĩa ngữ nghĩa).

C ++ mặt khác làm một cái gì đó. Nó định nghĩa các hàm và các lớp, nhưng nó cũng mô tả cách các hàm này hoạt động cùng nhau, cách đầu vào và đầu ra của chúng được gắn với nhau theo một cách có ý nghĩa và toàn bộ ứng dụng sẽ chạy như thế nào.